• Bokmål
  • English

Nettstedskart

Publication profile

Publication profile

Ivar Rummelhoff

Ivar, Rummelhoff
Name: Ivar Rummelhoff
Title: Seniorforsker / Senior Research Scientist
Phone: (+47) 22852570
Email: Ivar [dot] Rummelhoff [at] nr [dot] no
Scientific areas: Security, Formal methods, Software engineering
Add to contacts (vCard)
 Show publications

 

    Academic journal articles

    2016

    Andrade, Daniel; Kristoffersen, Thor O.; Rummelhoff, Ivar; Gerdov, Alex; Silva, Joao Nuno. Thwarting data exfiltration by repackaged applications. Symposium on Reliable Distributed Systems. Proceedings (ISSN 1060-9857). 2016-October pp 43-48. doi: 10.1109/SRDSW.2016.18. 2016.

    2004

    Rummelhoff, Ivar. Polynat in PER models. Theoretical Computer Science (ISSN 0304-3975). 316 pp 215-224. 2004.

    2001

    Rummelhoff, Ivar. Normal Domain Representations of Topological Spaces. Mathematical logic quarterly (ISSN 0942-5616). 47 pp 409-412. 2001.

    Doctoral dissertations

    2007

    Rummelhoff, Ivar. Polymorphic Π1 Types and a Simple Approach to Propositions, Types and Sets. : Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (ISSN 1501-7710). (600). pp 196. 2007.

    Reports

    2016

    Kristoffersen, Thor O.; Rummelhoff, Ivar. PCAS Deliverable D6.3: Security evaluation of STG and communications. Norsk Regnesentral, . pp 27. 2016.

    Kristoffersen, Thor O.; Østvold, Bjarte M.; Rummelhoff, Ivar. PCAS Deliverable D8.1: Security Evaluation – Communication. Norsk Regnesentral, . pp 52. 2016.

    Rummelhoff, Ivar; Kristoffersen, Thor O.. PCAS Deliverable D6.4: Secured Trusted Gateway (STG). Norsk Regnesentral, . pp 38. 2016.

    2015

    Kristoffersen, Thor O.; Rummelhoff, Ivar; Andrade, Daniel; Nassie, Evyatar. PCAS Deliverable D6.2 IDM, Authentication, Access and Provisioning Service Design. Norsk Regnesentral, . pp 44. 2015.

    Rummelhoff, Ivar; Kristoffersen, Thor O.; Skomedal, Åsmund; Shani, Alex; Dagan, Omer; Gerdov, Alex. PCAS Deliverable D4.6 SPD Report on Data Encryption Mechanisms. OS New Horizon Ltd., . pp 22. 2015.

    Popular scientific lectures

    2011

    Rummelhoff, Ivar. The future is reactive. JavaZone 2011, Oslo, 07.09.2011.

Postadresse:
Norsk Regnesentral
Postboks 114 Blindern
0314 Oslo
Besøksadresse:
Norsk Regnesentral
Gaustadalleen 23a
Kristen Nygaards hus
0373 Oslo
Tlf:
(+47) 22 85 25 00
Adresse Hvordan komme til NR
Sosiale media Del på sosiale media
Personvernerklæring Personvernerklæring
Postadresse: Norsk Regnesentral, Postboks 114 Blindern, 0314 Oslo
Besøksadresse: Norsk Regnesentral, Gaustadalleen 23a, Kristen Nygaards hus, 0373 Oslo
Tlf: (+47) 22 85 25 00
AdresseHvordan komme til NR