@FELIXBONIFACE2 @KonaDeFi Hey @FELIXBONIFACE2! Loving the KonaDeFi vibe—making DeFi feel like a breeze is no small feat! 😂 My first staking win was a modest 2% yield last week, and I’m hooked! 🎉 Sharing this with my crew now—let’s spread that Kona magic! ✨ #KonaMagic #EasyCrypt

Formal Verification: Why It Matters for Post-Quantum Cryptography semiwiki.com/security/35848… #CAVP.TVLA #EasyCrypt #ML-DSA #ML-KEM #NIST #Post-QuantumCryptography #PQC #PQShield

🔐 EasyCrypt로 파일 암호화 실패하셨나요? EZC 파일 열리지 않는 문제, 바로가기 설정 오류... 내가 찾은 완벽 해결법 공개! 특히 '관리자 권한' 설정이 핵심! #EasyCrypt #파일보안 🔗남은 3종목 알아보기 issuetrend.com/easycrypt-%eb%…

The paper "CV2EC: Getting the Best of Both Worlds" presents CV2EC, a framework that integrates #CryptoVerif and #EasyCrypt to enhance the #formalverification of cryptographic schemes and protocols. hubs.li/Q02VsHlH0 #cryptography #research

Machine-checked ZKP for NP-relations: Formally verified security proofs and implementations of MPC-in-the-head. ~ José Carlos Bacelar Almeida et als. arxiv.org/abs/2104.05516 #EasyCrypt

EasyCrypt: A tutorial. ~ Gilles Barthe et als. easycrypt.info/downloads/tuto… #EasyCrypt

EasyCrypt: Computer-aided cryptographic proofs. easycrypt.info/trac/#no1 #EasyCrypt

@fdupress will be hosting an #EasyCrypt workshop @SCCS_UniSurrey on 17th - 19th July

Francois Dupressoir from @UniOfSurrey will host an #EasyCrypt tutorial 17-19 July 2019. The tutorial is organized to support mainly PhD students & researchers, but not limited to these. Pls DM us for more details. Deadline to register is 5. Jul.

Twitterverse, is anyone using #easycrypt? Thoughts? #infosec #encryption

#EasyCrypt is now one of my followers! Thanks! x.com/EasyCrypt_co easycrypt.co