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

 Google+     Bitbucket     Github     Public key

research

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