Sign in
POPL 2020
Event Home
Formalising Oblivious Transfer in CryptHOL
Sep 17, 2020
|
27 views
ACM SIGPLAN
Follow
Details
Presenter: David Butler Presented at CPP'20, located at 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
50:45
SREcon14 - Design Review Best Practices
USENIX
| Jun 26, 2014
55:04
SREcon14 - Keys to SRE
USENIX
| Jun 26, 2014
3:08
The ICAPS Three
ICAPS
| Jul 2, 2014
20:34
ICAPS 2014: Daniel Harabor on "Improving Jump Point Search"
ICAPS
| Jul 2, 2014
1:07:18
ICAPS 2014 Invited Talk: Peter Wurman
ICAPS
| Jul 2, 2014
