✦ LIBER ✦

[ACM Press the 5th ACM SIGPLAN Workshop - Toronto, Canada (2010.06.10-2010.06.10)] Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10 - Attack model for verification of interval security properties for smart card C codes

✍ Scribed by Berthomé, P.; Heydemann, K.; Kauffmann-Tourkestansky, X.; Lalande, J.-F.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the Eighth ACM SIGPLAN worksh

✍ Gampe, Andreas; von Ronne, Jeffery 📂 Article 📅 2013 🏛 ACM Press ⚖ 446 KB

[ACM Press the Eighth ACM SIGPLAN worksh

✍ Hallgren, Per A.; Mauritzson, Daniel T.; Sabelfeld, Andrei 📂 Article 📅 2013 🏛 ACM Press ⚖ 561 KB

[ACM Press the third ACM SIGPLAN worksho

✍ Liem, Clifford; Gu, Yuan Xiang; Johnson, Harold 📂 Article 📅 2008 🏛 ACM Press ⚖ 385 KB

[ACM Press the 4th Workshop - Maribor, S

✍ Chirilă, Ciprian-Bogdan; Sakkinen, Markku; Lahire, Philippe; Jurca, Ioan 📂 Article 📅 2010 🏛 ACM Press ⚖ 124 KB