Personensuche
X
?
Constructive Side-Channel Analysis and Secure Design; Lecture Notes in Computer Science ,
2
Custom Instruction Support for Modular Defense Against Side..:
, In:
?
The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems ,
3
Intermittent Computing with Peripherals, Formally Verified:
, In:
?
Advances in Cryptology – EUROCRYPT 2020; Lecture Notes in Computer Science ,
4
Tornado: Automatic Generation of Probing-Secure Masked Bits..:
, In:
?
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
5
Usuba: high-throughput and constant-time ciphers, by constr..:
, In:
?
Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing ,
6
Usuba : Optimizing & Trustworthy Bitslicing Compiler:
, In:
?
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development ,
8
Type-directed diffing of structured data:
, In:
?
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
9
A formally verified compiler for Lustre:
, In:
?
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming ,
13
Partial type equivalences for verified dependent interopera..:
, In:
?
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming ,
15