Sound Formal Verification of Linux’s USB BP Keyboard Driver

Penninckx, Willem; Mühlberg, Jan Tobias; Smans, Jan; Jacobs, Bart; Piessens, Frank

doi:doi/10.1007/978-3-642-28891-3_21

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Citer

Sound Formal Verification of Linux’s USB BP Keyboard Driver

par Penninckx, Willem ;Mühlberg, Jan Tobias

;Smans, Jan ;Jacobs, Bart ;Piessens, Frank
Référence 4th International Symposium, NFM 2012(April 3-5, 2012: Norfolk, VA, USA), NASA Formal Methods, Lecture notes in computer science (7226), page (210–215)
Publication Publié, 2012

Publication dans des actes

Titre:	Sound Formal Verification of Linux’s USB BP Keyboard Driver
Auteur:	Penninckx, Willem; Mühlberg, Jan Tobias; Smans, Jan; Jacobs, Bart; Piessens, Frank
Informations sur la publication:	4th International Symposium, NFM 2012(April 3-5, 2012: Norfolk, VA, USA), NASA Formal Methods, Lecture notes in computer science (7226), page (210–215)
Statut de publication:	Publié, 2012
Sujet CREF:	Informatique générale
Langue:	Anglais
Identificateurs:	urn:issn:0302-9743
	info:doi/10.1007/978-3-642-28891-3_21
	9783642288906

Documents en relation

DI-fusion

Secure Intermittent Computing with ARM TrustZone on the Cortex-M
par Chiavassa, Pietro , Gandino, Filippo , Ferrero, Renato , Mühlberg, Jan Tobias
Publication Institute of Electrical and Electronics Engineers Inc., 2024-07
An Improved PUF-Based Privacy-Preserving IoT Protocol for Cloud Storage
par Austa, Cédrick , Mühlberg, Jan Tobias , Dricot, Jean-Michel
Publication SciTePress, 2024-02-01
Efficient and Timely Revocation of V2X Credentials
par Scopelliti, Gianluca , Baumann, Christoph , Alder, Fritz , Truyen, Eddy , Mühlberg, Jan Tobias
Publication 2024
Demo: Efficient and Timely Revocation of V2X Credentials
par Scopelliti, Gianluca , Baumann, Christoph , Alder, Fritz , Truyen, Eddy , Mühlberg, Jan Tobias
Publication 2024
End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs
par Scopelliti, Gianluca , Pouyanrad, Sepideh , Noorman, Job , Alder, Fritz , Baumann, Christoph , Piessens, Frank , Mühlberg, Jan Tobias
Publication 2023-06-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.