POPL 2020

A CompCert Compiler that Preserves Cryptographic Constant-time

Sep 17, 2020

|

31 views

ACM SIGPLAN

Details

Presented by Remi Hutin Presented at PriSC'20, part of POPL 2020.

Category: POPL 2020

Comments

loading...

Reactions (0) | Note

📝 No reactions yet

Be the first one to share your thoughts!

Reactions(0)

Note

loading...

Recommended

SREcon15 - From Zero to Hero: Recommended Practices for Training your Ever-Evolving SRE Teams

USENIX | Apr 13, 2015

SREcon15 - Architecting and Launching the Halo 4 Services

USENIX | Apr 13, 2015

SREcon15 - Being Afraid—How Paranoia at Dropbox Protects Your Data

USENIX | Apr 13, 2015

ICAPS 2014: Jendrik Seipp on "Diverse and Additive Cartesian Abstraction Heuristics"

ICAPS | Apr 14, 2015

ICAPS 2014: Bram Ridder on "Heuristic Evaluation Based on Lifted Relaxed Planning Graphs"

ICAPS | Apr 14, 2015