Zobrazeno 1 - 10
of 10
pro vyhledávání: '"AGTEN, PIETER"'
Autor:
PATRIGNANI, MARCO1, AGTEN, PIETER1, STRACKX, RAOUL1, JACOBS, BART1, CLARKE, DAVE2, PIESSENS, FRANK1
Publikováno v:
ACM Transactions on Programming Languages & Systems. Apr2015, Vol. 37 Issue 2, p6:1-6:50. 50p.
Autor:
Agten, Pieter
Modern-day imperative programming languages such as C++, C# and Java offer protection facilities such as abstract data types, field access modifiers, and module systems. Such abstractions were mainly designed to enforce software engineering principle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::233902d2c172fdfe542a71f7c74d302b
https://lirias.kuleuven.be/handle/123456789/498598
https://lirias.kuleuven.be/handle/123456789/498598
Over the past decade, great progress has been made in the static modular verification of C code by means of separation logic-based program logics. However, the runtime guarantees offered by such verification are relatively limited when the verified m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::254279ae7ecdd4aa5c851155509f489a
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW676.abs.html
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW676.abs.html
We present a secure (fully abstract) compilation scheme to compile a high-level language to low-level machine code. Full abstraction is achieved by relying on the virtualization support provided by modern processors: a small hypervisor efficiently im
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::5c611db3a00e5cc8a84ddd51ab938098
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW619.abs.html
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW619.abs.html
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Security & Privacy in Communication Networks: 9th International ICST Conference, SecureComm 2013, Sydney, NSW, Australia, September 25-28, 2013, Revised Selected Papers; 2013, p252-269, 18p
Autor:
Agten, Pieter, Van Acker, Steven, Brondsema, Yoran, Phung, Phu H., Desmet, Lieven, Piessens, Frank
Publikováno v:
Proceedings of the 28th Annual Computer Security Applications Conference; 12/3/2012, p1-10, 10p
Publikováno v:
Distributed Applications & Interoperable Systems (9783642308222); 2012, p104-117, 14p
Publikováno v:
2012 IEEE 25th Computer Security Foundations Symposium; 1/ 1/2012, p171-185, 15p
Publikováno v:
Information Security Theory & Practice. Security, Privacy & Trust in Computing Systems & Ambient Intelligent Ecosystems; 2012, p1-16, 16p