Hanne Riis Nielson
Professor, Head of section
Richard Petersens Plads, Building 322, 114
2800, Lyngby
CV
Publications
(188)- Published
Lazy Mobile Intruders
Publication: Research - peer-review › Article in proceedings – Annual report year: 2013
- Published
A calculus for quality
Publication: Research - peer-review › Article in proceedings – Annual report year: 2013
- Published
Design-Efficiency in Security
Publication: Research › Report – Annual report year: 2013
Science of Computer Programming
ISSNs: 0167-6423
Elsevier BV, Netherlands
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
Nordic Journal of Computing
ISSNs: 1236-6064
University of Helsinki Department of Computer Science, Finland
FI (2012): 1, ISI indexed (2012): no
Central database
Journal
Theoretical Computer Science
ISSNs: 0304-3975, 03043975
Elsevier BV, Netherlands
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
Projects
(22)Modeling and Verifying eID Protocols (Future ID)
Project: PhD
SESAMO: Security and Safety Modelling
Project: PhD
SESAMO: Security and Safety Modelling
Project: PhD
Loading map data...
Latest activities and conferences
Loading map data...
ID: 2177260