BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Agosta:Giovanni

Contributed to:

DAC 20152015
DAC 20142014
DAC 20132013
DAC 20122012
CC 20092009
SAC 20082008
DAC 20072007
SAC 20062006
SAC 20042004
DAC 20032003
CC 20172017

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 a unified binary analysis framework to recover CFGs and function boundaries (ADF, MP, GA), pp. 131–141.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.