POPL 2020

A CompCert Compiler that Preserves Cryptographic Constant-time

Sep 17, 2020

|

30 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

ICAPS 2014: Richard Valenzano on "A Comparison of Knowledge-Based GBFS Enhancements and..."

ICAPS | Apr 15, 2015

ICAPS 2014: Florian Pommerening on "LP-Based Heuristics for Cost-Optimal Planning"

ICAPS | Apr 15, 2015

ICAPS 2014: Benjamin Cohen on "Single- and Dual-Arm Motion Planning with Heuristic Search"

ICAPS | Apr 15, 2015

ICAPS 2014: Tutorial by Siddharth Srivastava on "Task and Motion Planning for Robots..."

ICAPS | Apr 15, 2015

ICAPS 2014: Carmel Domshlak on "The Complexity of Optimal Monotonic Planning: The Bad, The ..."

ICAPS | Apr 16, 2015