Search papers, labs, and topics across Lattice.
2
0
2
21
This work develops a new methodology for verifying cryptographic software and extends SymCrypt with experimental optimizations and implementations of algorithms such as FrodoKEM, ML-DSA, and HPKE to explore the scalability of writing, adapting, and verifying cryptographic code.
ShieldFS ensures that even untrusted storage can maintain integrity and freshness, effectively countering attacks that exploit cloud provider vulnerabilities.
