| Achieving Meaningful Efficiency in Coercion-Resistant, Verifiable Internet Voting. | 3 | 0.38 | 2012 |
| The secure platform problem taxonomy and analysis of existing proposals to address this problem | 1 | 0.35 | 2012 |
| Efficient vote authorization in coercion-resistant internet voting | 9 | 0.48 | 2011 |
| A new approach towards coercion-resistant remote e-voting in linear time | 27 | 0.80 | 2011 |
| SSG: a model-based development environment for smart, security-aware GUIs | 3 | 0.45 | 2010 |
| Automatic generation of smart, security-aware GUI models | 10 | 0.70 | 2010 |
