http://home.deib.polimi.it/agosta/ 2020-03-26T11:20:14+01:00 http://home.deib.polimi.it/agosta/ http://home.deib.polimi.it/agosta/lib/images/favicon.ico text/html 2008-06-24T11:23:21+01:00 http://home.deib.polimi.it/agosta/doku.php?id=research:arch&rev=1214299401 I am interested in computer architectures, from pipeline structure to design methodologies for embedded systems. Pipeline Architecture We work on the design of advanced pipeline architecture for hiding latencies and speeding up computation by means of pipeline reconfiguration. text/html 2007-09-13T18:40:02+01:00 http://home.deib.polimi.it/agosta/doku.php?id=research:bmg&rev=1189701602 I am interested in logic synthesis algorithms, and specifically in high performance algorithms for the solution of the P-equivalence problem for Boolean functions and related problems. Two boolean functions are P-equivalent is there is a permutation of the input variables that leads from the first to the second. Finding the permutation, if it exists, is a time consuming step of logic synthesis algorithms, i.e. it is used in finding which combination of existing library logic cells can be used t… text/html 2007-12-13T19:30:29+01:00 http://home.deib.polimi.it/agosta/doku.php?id=research:codes&rev=1197570629 I collaborate with the Hardware Software Codesign group led by Prof. Donatella Sciuto in a series of research activities. We aim at developing tools and languages for Hardware/Software Codesign. Research Topics Currently, there are three main topics under investigation: text/html 2014-11-25T18:00:30+01:00 http://home.deib.polimi.it/agosta/doku.php?id=research:crypto&rev=1416934830 Compiler-Assisted Side-Channel Attack Countermeasures This project aims at defending software implementations of encryption/decryption primitives from attacks based on side channels such as energy dissipation or electromagnetic emissions. Techniques developed include code morphing, a technique to alter the code at runtime without changing its overall semantics. Such techniques hinder the construction of a model correlating the side channel information with the values of the secret key. text/html 2014-10-20T19:54:04+01:00 http://home.deib.polimi.it/agosta/doku.php?id=research:flc&rev=1413827644 The Formal Languages and Compilers group has been involved in Compiler Construction projects, funded by the European Commission and by STMicroelectronics, for more than 10 years. The current focus is on compiler support for many-core heterogeneous platforms. text/html 2015-04-21T10:49:13+01:00 http://home.deib.polimi.it/agosta/doku.php?id=research:jobs&rev=1429606153 We are looking for expressions of interest for full time positions (Research Assistant, Ph.D. Student and Research Associate) at Politecnico di Milano – Dipartimento di Elettronica, Informazione e Bioingegneria, in the fields of compiler construction, parallel programming languages design and implementation, autotuning, optimisation and design space exploration, embedded systems design (including IoT and Cyber Physical Systems), operating systems for multi/many core architectures, EDA tools fo… text/html 2013-01-31T11:15:12+01:00 http://home.deib.polimi.it/agosta/doku.php?id=research:tabs&rev=1359627312 Compilers Crypto Apps Logic Synthesis HW/SW Codesign Architectures Theses Proposals text/html 2011-03-11T15:04:05+01:00 http://home.deib.polimi.it/agosta/doku.php?id=research:theses&rev=1299852245 This page lists the thesis (graduate and undergraduate) currently available on my research topics.