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

SREcon14 - Grilled Cheese at Scale: A Recipe for Stability Practices

USENIX | Jun 26, 2014

SREcon14 - Design Review Best Practices

USENIX | Jun 26, 2014

SREcon14 - Keys to SRE

USENIX | Jun 26, 2014

The ICAPS Three

ICAPS | Jul 2, 2014

ICAPS 2014: Daniel Harabor on "Improving Jump Point Search"

ICAPS | Jul 2, 2014