Verifying compiled file system code

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

;Lüttgen, Gerald
Référence Formal aspects of computing, 24, 3, page (375-391)
Publication Publié, 2012-05

Article révisé par les pairs

Titre:	Verifying compiled file system code
Auteur:	Mühlberg, Jan Tobias; Lüttgen, Gerald
Informations sur la publication:	Formal aspects of computing, 24, 3, page (375-391)
Statut de publication:	Publié, 2012-05
Sujet CREF:	Généralités
Langue:	Anglais
Identificateurs:	urn:issn:0934-5043
	info:doi/10.1007/s00165-011-0198-z

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
Understanding Trust Relationships in Cloud-Based Confidential Computing
par Scopelliti, Gianluca , Baumann, Christoph , Mühlberg, Jan Tobias
Publication 2024-02-01
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
Exploring Privacy and Security as Drivers for Environmental Sustainability in Cloud-Based Office Solutions (Extended Abstract)
par Kayembe, Jason , Ben Guirat, Iness , Mühlberg, Jan Tobias
Publication 2024-02-01
Informing Children about Privacy: A Review and Assessment of Age-Appropriate Information Designs in Kids-Oriented F2P Video Games
par Sas, Martin , Denoo, Maarten , Mühlberg, Jan Tobias
Publication 2023-09-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.