Concepedia

Hannes Mehnert

HM

Statistics

Publications

3

Citations

66

H-Index

3

Active since

2012

Affiliations

University of Cambridge(Current)

Hannes Mehnert is an author at University of Cambridge specializing in computing, programming languages, and formal methods.

Publications per year

2012–2018

3

Publications

3

Encoding Featherweight Java with assignment and immutability using the Coq proof assistant

Julian Mackay, Hannes Mehnert, Alex Potanin et al. · 2012 · 25 citations

, , +9

Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation

David Kaloper-Meršinjak, Hannes Mehnert, Anil Madhavapeddy et al. · Apollo (University of Cambridge) · 2015 · 24 citations · Full text

, , +14

Engineering with Logic

Steve Bishop, Matthew Fairbairn, Hannes Mehnert et al. · Journal of the ACM · 2018 · 17 citations · Full text

, , +14

1–3 of 3