28 citations · 71 across the 10 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 2 cited
Sound Transpilation from Binary to Machine-Independent Code
Roberto Metere, Andreas Lindner, Roberto Guanciale
In order to handle the complexity and heterogeneity of mod- ern instruction set architectures, analysis platforms share a common design, the adoption of hardware-independent interm…
cs.CR2018★ 16 cited
Analysing and Patching SPEKE in ISO/IEC
Feng Hao, Roberto Metere, Siamak F. Shahandashti +1
Simple Password Exponential Key Exchange (SPEKE) is a well-known Password Authenticated Key Exchange (PAKE) protocol that has been used in Blackberry phones for secure messaging an…