Travelled to:
1 × Brazil
1 × Cyprus
1 × France
1 × United Kingdom
6 × USA
Collaborated with:
G.Pelosi A.Barenghi M.Sykora C.Silvano F.Bruschi D.Sciuto M.Scandale S.Crespi-Reghizzi G.Palermo A.D.Federico M.Payer M.Maggi S.Campanoni P.Palumbo
Talks about:
analysi (5) compil (4) embed (3) code (3) countermeasur (2) approach (2) channel (2) applic (2) unifi (2) trace (2)
Person: Giovanni Agosta
DBLP: Agosta:Giovanni
Contributed to:
Wrote 11 papers:
- DAC-2015-AgostaBPS #information management
- Information leakage chaff: feeding red herrings to side channel attackers (GA, AB, GP, MS), p. 6.
- DAC-2014-AgostaBPS #approach #embedded #encryption #execution #multi
- A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.
- DAC-2013-AgostaBMP #analysis
- Compiler-based side channel vulnerability analysis and optimized countermeasures application (GA, AB, MM, GP), p. 6.
- DAC-2012-AgostaBP #analysis
- A code morphing methodology to automate power analysis countermeasures (GA, AB, GP), pp. 77–82.
- CC-2009-CampanoniSAC #compilation #jit #manycore
- Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment (SC, MS, GA, SCR), pp. 220–235.
- SAC-2008-SykoraAS #embedded #pipes and filters
- Dynamic configuration of application-specific implicit instructions for embedded pipelined processors (MS, GA, CS), pp. 1509–1516.
- DAC-2007-AgostaBPS #approach #canonical
- A Unified Approach to Canonical Form-based Boolean Matching (GA, FB, GP, DS), pp. 841–846.
- SAC-2006-AgostaCPS #analysis #bytecode #compilation #performance
- Selective compilation via fast code analysis and bytecode tracing (GA, SCR, PP, MS), pp. 906–911.
- SAC-2004-AgostaPS #architecture #design #embedded #multi #power management #program transformation #source code
- Multi-objective co-exploration of source code transformations and design space architectures for low-power embedded systems (GA, GP, CS), pp. 891–896.
- DAC-2003-AgostaBS #modelling #static analysis #transaction
- Static analysis of transaction-level models (GA, FB, DS), pp. 448–453.
- CC-2017-FedericoPA #analysis #bound #framework
- rev.ng: a unified binary analysis framework to recover CFGs and function boundaries (ADF, MP, GA), pp. 131–141.