✦ LIBER ✦

Source code verification of a secure payment applet

✍ Scribed by Bart Jacobs; Martijn Oostdijk; Martijn Warnier

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Secure execution of Java applets using a

✍ Malkhi, D.; Reiter, M.K. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 267 KB

Techniques for secure execution of mobil

✍ J. -M. Mas-RibÉS; Benoît Macq 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 1014 KB

A Micro-payment based Isolation of Misbe

✍ Li Hui; Wei Wei; Chen Ke-fei 📂 Article 📅 2005 🏛 Wuhan University 🌐 English ⚖ 459 KB

A framework for compositional verificati

✍ Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig F. Mjølsnes; Sa 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 959 KB

Towards a Definition of Source-Code Plag

✍ Cosma, G.; Joy, M. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 132 KB

A Secure Cooperative Approach for Nonlin

✍ Abumansoor, O.; Boukerche, A. 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 831 KB