Nico Hauser

According to our database, Nico Hauser authored at least 3 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

GECKO: Securing Digital Assets Through(out) the Physical World.

Cyrill Krähenbühl, Nico Hauser, Christelle Gloor, Juan A. García-Pardo, Adrian Perrig

Proceedings of the International Conference on Computing, Networking and Communications, 2026

2025

GECKO: Securing Digital Assets Through(out) the Physical World (Extended Technical Report).

Cyrill Krähenbühl, Nico Hauser, Christelle Gloor, Juan Ángel García-Pardo, Adrian Perrig

CoRR, November, 2025

2022

VeriMon: A Formally Verified Monitoring Tool.

David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022