Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1810.09065
Cited By
v1
v2 (latest)
High-level Cryptographic Abstractions
22 October 2018
Christopher Kane
Bo Lin
Saksham Chand
Scott D. Stoller
Yanhong A. Liu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"High-level Cryptographic Abstractions"
3 / 3 papers shown
Title
SoK: The Design Paradigm of Safe and Secure Defaults
Jukka Ruohonen
SILM
117
2
0
23 Dec 2024
Python Crypto Misuses in the Wild
A. Wickert
Lars Baumgärtner
Florian Breitfelder
Mira Mezini
ELM
39
25
0
02 Sep 2021
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
Yanhong A. Liu
Scott D. Stoller
30
4
0
22 Aug 2020
1
