✕ Clear all filters
2 articles
▶ Videos →

📰 Microsoft Research

2 articles · Updated every 3 hours · View all reads

All Articles 178,187Blog Posts 163,981Tech Tutorials 47,534Research Papers 34,920News 22,363 ⚡ AI Lessons
Verifying Rust cryptography in SymCrypt, from standards to code
Microsoft Research 🔐 Cybersecurity ⚡ AI Lesson 2mo ago
Verifying Rust cryptography in SymCrypt, from standards to code
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving spee
View lesson → + Playlist
Ire identifies another LOTUSLITE specimen
Microsoft Research 🔐 Cybersecurity ⚡ AI Lesson 3mo ago
Ire identifies another LOTUSLITE specimen
Project Ire examined a timely malware sample and determined its intent through reverse engineering—identifying LOTUSLITE characteristics even as most major EDR
View lesson → + Playlist