About

Hello! Bienvenue! 你好! Grüezi!

You have reached the personal homepage of Cedric Staub. There isn't much to see here right now, but you can reach me via email at cssx @ this domain.

Links

various

 Bitbucket     Github     Public key

research

 A user interface for security protocol design
 Support for user-defined sorts and sorted function symbols in Tamarin