My academic interests lie mainly in the areas of computer security and formal methods. You can find my publications (with preprints, where available), as well as some extra material, on the Academia page.
Open source work
I have (slowly) started contributing to FlightGear, a free and open source flight simulator.
I have contributed (in whole or in part) to Italian translations for several software packages, including:
- Amaze File Manager, an Android file manager app
- BootRacer, a utility for measuring the boot time of a PC
- ChompSMS, an Android messaging app
- The Git version control system
- GreaseMonkey, the popular user script engine for the Mozilla Firefox browser
- Links, a textual Web browser (the updated translation was sent to the software developers; I’m waiting for it to be applied)
- The Mozilla policy templates
- ReText, a Markdown/reStructuredText editor
- Review Board, a Web-based code review tool
- TbSync, a cloud synchronization tool for Mozilla Thunderbird
- The Bug Genie, a bug tracking system
You can contact me per e-mail at the following address (obfuscated to avoid spambots):
name dot surname at this domain
(Please use an appropriate e-mail subject and avoid sending big attachments without prior notice).
I strongly recommend using encrypted e-mail for privacy: you can find my GPG key here or get it from all major key servers, e.g. the SKS keyservers pool. Its key ID is
0xBF334213F5C5CA03 and its fingerprint is
6731 DDC2 8357 BEC3 8E34 2AAF BF33 4213 F5C5 CA03.
I am open to signing GPG keys under my certification policy.
Comments on blog posts
This site does not have commenting functionality built in. This stems mainly from my decision — matured after several years — to abandon CMSs and switch to a static page generator for all the right reasons:
- The only advantage CMSs bring to me is comment management. Everything else can be done just using pure HTML and (at most) a couple of scripts.
- I strive to maintain this site accessible, minimal and fast. CMSs don’t give me much fine-grained control over the generated markup easily.
- I dislike using third-party comment management tools due to privacy concerns. Moreover, privacy policies do not always give me all details I should be able to give regarding the processing of personal data, especially with regard to cookie use — not to mention user profiling and data transfers to the United States.