Login / Signup
Andrea Primativo
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Databases
Trusted Computing
Real Time
Information Flow
Top Venues
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Alessandro Cilardo
,
Andrea Primativo
Verification of FPGA-augmented trusted computing mechanisms based on Applied Pi Calculus.
IACR Cryptol. ePrint Arch.
2017 (2017)