Fabienne Eigner

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Logical foundations of secure resource management in protocol implementations Lecture Notes in Computer Science	2013-08-06	Paper

Research outcomes over time

This page was built for person: Fabienne Eigner