Newest stories submitted by nadim.

  1. 6
    Verified post-quantum cryptography on the web cryptography formalmethods web pq.cryspen.com
    nadim avatar via nadim 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 5
    An Internet of Desperate Protagonists culture privacy rant nadim.computer
    nadim avatar authored by nadim 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 5
    Critique of the TechCrunch Article on Google's Call-Scanning AI privacy nadim.computer
    nadim avatar authored by nadim 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 16 comments
  4. 55
    We Need to Talk About the State of Calendar Software on Desktop linux rant windows nadim.computer
    nadim avatar authored by nadim 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 58 comments
  5. 9
    enclave: Command-line secure encrypted deniable cloud-synchronized notebook cryptography privacy release github.com/symbolicsoft
    nadim avatar authored by nadim 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  6. 9
    BinkyBox: Improved keyboard shortcuts for virtual desktops on Windows release windows github.com/nadimkobeissi
    nadim avatar authored by nadim 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. -1
    The Rise and Fall of ChatGPT-4 ai philosophy nadim.computer
    nadim avatar authored by nadim 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 6
    DuckyZip: Provably Honest Global Linking Service cryptography eprint.iacr.org
    nadim avatar authored by nadim 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  9. 1
    Goodwrite: a satirical thought experiment on AI-powered writing style suggestions ai satire goodwrite.app
    nadim avatar authored by nadim 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 9
    Rust on iOS and Mac Catalyst: A Simple, Updated Guide ios mac rust swift nadim.computer
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 3
    On Paying Open Source Maintainers programming nadim.computer
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 19
    Adventures in Writing Othello Software for iOS and macOS ai games ios mac nadim.computer
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  13. 13
    On the Feasibility of Secure Traceability in End-to-End Encrypted Messaging cryptography security nadim.computer
    nadim avatar authored by nadim 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  14. 38
    On the Apple Silicon M1 MacBook Pro 2 hardware mac nadim.computer
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 59 comments
  15. -1
    Fear and Loathing in Protocol Analysis cryptography culture formalmethods nadim.computer
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  16. 12
    One Year of Verifpal: Understanding Verifpal’s Relationship With Cryptographic Protocol Security cryptography formalmethods blog.symbolic.software
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  17. 10
    Piccolo: Strong Othello AI With GUI Written in Go and Published in WASM games go wasm web piccolo.click
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  18. 2
    Kyber-K2SO: Go Implementation of the Kyber v2 Post-Quantum KEM cryptography go github.com/symbolicsoft
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 9
    Why StopCOVID Fails as a Privacy-Preserving Design cryptography privacy nadim.computer
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  20. 26
    iPhone SE and the Commodification of the Pocket Computer ios practices nadim.computer
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 31 comments
  21. 3
    Towards Freshness Queries, Unlinkability Queries, Automated Model Translation and Formalized Semantics in Verifpal cryptography formalmethods blog.symbolic.software
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  22. 9
    How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol cryptography formalmethods privacy blog.symbolic.software
    nadim avatar authored by nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 4
    Getting Started with Verifpal video cryptography formalmethods youtube.com
    nadim avatar authored by nadim 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 19
    Verifpal: Cryptographic Protocol Analysis for Students and Engineers cryptography formalmethods verifpal.com
    nadim avatar authored by nadim 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  25. 15
    Selfie's Reflections on Formal Verification for TLS 1.3: Largely Opaque cryptography formalmethods nadim.micro.blog
    nadim avatar authored by nadim 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
Page 2 >>