Static Validation of a Voting Protocol. - Christoffer Rosenkilde Nielsen; Esben Heltoft Andersen; Hanne Riis Nielson (ARSPA@ICALP, 2005)

Cryptographic Pattern Matching. - Christoffer Rosenkilde Nielsen; Flemming Nielson; Hanne Riis Nielson (VODCA@FOSAD, 2006)

Static Analysis for Blinding. - Christoffer Rosenkilde Nielsen; Hanne Riis Nielson (Nord. J. Comput., 2006)

Relational Analysis for Delivery of Services. - Flemming Nielson; Hanne Riis Nielson; Jörg Bauer 001; Christoffer Rosenkilde Nielsen; Henrik Pilegaard (TGC, 2007)

Iterative Specialisation of Horn Clauses. - Christoffer Rosenkilde Nielsen; Flemming Nielson; Hanne Riis Nielson (ESOP, 2008)