✦ LIBER ✦

Formal methods for security in the Xenon hypervisor

✍ Scribed by Leo Freitas; John McDermott

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Proofs for the Security of Signcr

✍ Joonsang Baek; Ron Steinfeld; Yuliang Zheng 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 364 KB

Formal methods, techniques and tools for

✍ Ahmed Patel 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 87 KB

The case for formal methods in standards

✍ Blyth, D.; Boldyreff, C.; Ruggles, C.; Tetteh-Lartey, N. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 371 KB

[Lecture Notes in Computer Science] FM 2

✍ Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 280 KB

The need for formal education on Informa

✍ Pacheco, Federico 📂 Article 📅 2013 🏛 IEEE 🌐 Portuguese ⚖ 438 KB

Formal analysis and design for engineeri

✍ Hassan, R.; Eltoweissy, M.; Bohner, S.; El-Kassas, S. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 505 KB