Verifying compiled file system code

Mühlberg, Jan Tobias; Lüttgen, Gerald

doi:doi/10.1007/978-3-642-10452-7_21

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

Citer

Verifying compiled file system code

par Mühlberg, Jan Tobias

;Lüttgen, Gerald
Référence 12th Brazilian Symposium on Formal Methods, SBMF 2009(August 19-21, 2009: Gramado, Brazil), Formal Methods: Foundations and Applications, Lecture notes in computer science (5902), page (306–320)
Publication Publié, 2009

Publication dans des actes

Titre:	Verifying compiled file system code
Auteur:	Mühlberg, Jan Tobias; Lüttgen, Gerald
Informations sur la publication:	12th Brazilian Symposium on Formal Methods, SBMF 2009(August 19-21, 2009: Gramado, Brazil), Formal Methods: Foundations and Applications, Lecture notes in computer science (5902), page (306–320)
Statut de publication:	Publié, 2009
Sujet CREF:	Informatique générale
Langue:	Anglais
Identificateurs:	urn:issn:0302-9743
	info:doi/10.1007/978-3-642-10452-7_21
	9783642104510

Documents en relation

DI-fusion

Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors
par Austa, Cédrick , Mühlberg, Jan Tobias , Dricot, Jean-Michel
Publication 2026-02-01
Privacy-Enhancing Technologies Against Physical-Layer and Link-Layer Device Tracking: Trends, Challenges, and Future Directions
par Zehner, Apolline , Ben Guirat, Iness , Mühlberg, Jan Tobias
Publication 2025-01-28
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
Operations and Hardware in Sustainable IT:Workshop at ULB co-animated with Aurore De Boom, Joël Goossens, Jan Tobias Mühlberg and Carl Mörch
par Timmermans, Benoît R. , De Boom, Aurore , Goossens, Joël , Mühlberg, Jan Tobias , Mörch, Carl
Publication 2025-06-20
Understanding Trust Relationships in Cloud-Based Confidential Computing
par Scopelliti, Gianluca , Baumann, Christoph , Mühlberg, Jan Tobias
Publication 2024-02-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.