jonasl

12 karma · joined 1 month ago

Lookups are fast and subtly unsound. Careful.

Submissions

1. Latest TRON News - (TRX) Future Outlook, Trends & Market Insights (coinmarketcap.com)
   2 points · 1 day ago · 7 comments
2. LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean (arxiv.org)
   2 points · 3 days ago · 0 comments
3. Almost Scriptless Adaptor Signatures from any Signature Scheme (eprint.iacr.org)
   7 points · 7 days ago · 0 comments
4. Security Verification (alpinumconsulting.com)
   1 points · 8 days ago · 2 comments
5. CT-RSA 2027 – Cryptographers' Track (CT-RSA) (esat.kuleuven.be)
   0 points · 11 days ago · 3 comments
6. World-leaders in Cryptography: Yevgeniy Dodis — by Bill Buchanan OBE (youtube.com)
   0 points · 14 days ago · 1 comment
7. Black Box Probing: a Security Analysis of Xiaomi's MJA1 Secure Chip (blog.quarkslab.com)
   0 points · 16 days ago · 2 comments
8. Quantum computer quickly mines cryptocurrency while using less energy (newscientist.com)
   0 points · 23 days ago · 1 comment
9. Sub-Linear Secure Broadcast and Applications (eprint.iacr.org)
   0 points · 25 days ago · 2 comments
10. Towards Worst-case Hardness for Low-Noise LPN (arxiv.org)
    0 points · 27 days ago · 2 comments
11. Search-Efficient Public-Key Authenticated Encryption with Keyword Search Made Easy (eprint.iacr.org)
    0 points · 29 days ago · 2 comments