• Welcome
  • Pablo Rauzy

  • Research
  • Teaching
  • Activism
  • Software
  • Links
  • Miscellaneous
  • Talk is cheap. Show me the code.


    The sensi (SEN Security Inspector) toolbox is composed of the tools I develop as part of my research on applying formal methods to cryptosystems' implementation security.
    See the individual tool pages:


    fugitive is a blog engine running on top of git using its hooks to generate static html pages. Moreover, everything that can be done using git, is (in particular for all the metadata). Using fugitive is no different from using git, as it transparently integrates the git workflow. It has been developped as a blog engine but could also be used in any project to automatically generate the documentation while keeping it source controlled alongside the rest of the code.
    In its hooks, fugitive uses only standard UNIX® tools that are included in the GNU core-utils package, plus sh as script interpreter (yes, not even Bash, just plain sh). That's it.
    For the same reason this is awesome, it can be extremely slow: there are no data structures in sh, which means that it uses temporary files even for lists, thus performing a lot of I/O; and also starting a new process is necessary for each command of the script. Despite this, fugitive seems to have a few dozen users, and I sometimes even receives pull requests ☺.


    outline-presentation-mode is a minor mode for making presentations with outline-mode files in Emacs.


    A collection of scripts that are part of my daily workflow and were clean and useful enough for me to share them.
    It inludes a todo manager, a calendar, a quick note taking script, a fuzzy-matching window switcher, utilities for managing GPG encrypted files, and more.


    (εlispon) is a programming language of the Lisp family which is highly influenced by Kernel and Scheme. It is not intented for "real" use, it is and will stay a pet project.