Publication profile
Publication profile
Thor Kristoffersen
Name:
Thor Kristoffersen
Title:
Seniorforsker / Senior Research Scientist
Phone:
(+47) +47 22 85 25 88
Email:
thor [at] nr [dot] no
Scientific areas:
Visual systems, Distribution systems

Add to contacts (vCard) Show publications
Academic article
2021
An Abstract Machine Approach to Preserving Digital Information. IEEE Access (ISSN 2169-3536). 9 pp 154914-154932. doi: 10.1109/ACCESS.2021.3128382. 2021.
. 2016
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.
. 2010
. 2009
Virtualization as a Strategy for Maintaining Future Access to Multimedia Content. Ukjent 2009. Fulltekst
. 2004
Integrating a security requirement language with UML. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 3273 pp 350-364. doi: 10.1007/978-3-540-30187-5_25. 2004. Fulltekst
. 2003
Extracting high-level information from Petri nets: a railroad case. Proceedings of the Estonian Academy of Sciences : Physics, Mathematics (ISSN 1406-0086). 52(4) pp 378-393. 2003. Fulltekst
. 2002
Streamed multimedia presentation for low-bandwidth mobile terminals: A virtual machine approach. World Wireless Congress (ISSN 1529-2592). 3Gwireless'2002 2002. Fulltekst
. Simulating the Oslo subway by hierarchic, coloured, object-oriented, timed Petri Nets with viewpoints. Ukjent 2002. Fulltekst
. Academic chapter/article/Conference paper
2006
Simplified Workflow Management with Metadata-Enhanced Petri Nets. In: Proceedings of the 2006 IEEE International Conference on Systems, Man, and Cybernetics. (ISBN 1-4244-0100-3). pp 2729-2735. 2006. Omtale
. 2002
Generalized Two-Tier relevance filtering of compute game update events. In: Proceedings of the 1st Workshop on Network and System Support for Games, NETGAMES 2002. (ISBN 1-58113-493-2). pp 10-13. 2002.
. Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate. In: Simulation und Visualisierung 2002. (ISBN 1-56555-234-2). pp 147-159. 2002. Fulltekst
. Academic lecture
2011
The CryoClim system for cryospheric climate monitoring. Nordic Remote Sensing Days, 8/30/2011 - 8/31/2011. Fulltekst
. 2002
A high Level Formal Language for Specifying Security Properties. 14th Nordic Workshop in Programming theory; Tallin, Estonia, 11/20/2002 - 11/22/2002. Fulltekst
. Simulating the Oslo Subway by Hierarchic Coloured, Object-oriented timed Petri Nets with viewpoints. 14th Nordic Workshop on Programming Theory; Tallin, Estonia, 11/20/2002 - 11/22/2002.
. Report
2022
LegalTech. Norsk Regnesentral. NR-notat DART/25/22. pp 33. 2022.
. Operational Risk: Future Directions in Security, Resilience and Maturity. Norsk Regnesentral. NR-notat DART/24/22. pp 26. 2022.
. Automatiserte prosesser innen regnskap, revisjon og finans. Norsk Regnesentral. NR-notat DART/01/22. pp 22. 2022.
. Automatisering av bærekraftsrevisjon. Norsk Regnesentral. NR-notat DART/26/22. pp 25. 2022.
. Preservation of decommissioned IT systems: Strategies, technologies, and state of the art. Norsk Regnesentral. NR-notat DART/08/22. pp 28. 2022.
. SoundVision – User Evaluation Report from Norway. Norsk Regnesentral. NR-notat DART/07/22. pp 27. 2022.
. SoundVision D4.4: Indoor Navigation and Location Finder. Norsk Regnesentral. NR-notat DART/05/22. pp 31. 2022.
. 2021
Research Challenges in SSI in Secured Digital Infrastructures. Norsk Regnesentral. NR-notat ICT Research/01/21. pp 37. 2021.
. 2018
Sluttrapport: Robotdusj som et løft i offentlig sektor. Norsk Regnesentral. NR-notat DART/01/2018. pp 51. 2018.
. 2017
EHRPathways D4.5: Final Report of WP4. Norsk Regnesentral. NR-notat DART/06/2017. pp 45. 2017.
. EHRpathways - Deliverable D4.2: Workflow Support for EHR Systems. Norsk Regnesentral. NR-notat DART/05/2017. pp 33. 2017.
. Roadmap for Real-Time Web and the Internet of Things. Norsk Regnesentral. NR-notat DART/08/2017. pp 13. 2017.
. Security analysis of an end-to-end encryption protocol. Norsk Regnesentral. NR-notat DART/16/2017. pp 11. 2017.
. The Project GB-MULTE-2016/17 - Final Report. Norsk Regnesentral. NR-notat DART/20/2017. pp 21. 2017.
. 2016
EHR Pathways as Petri Nets - Version 1. Norsk Regnesentral. NR-notat DART/14/2016. 2016.
. PCAS Deliverable D8.1: Security Evaluation – Communication. Norsk Regnesentral. pp 52. 2016.
. PCAS Deliverable D6.4: Secured Trusted Gateway (STG). Norsk Regnesentral. pp 38. 2016.
. PCAS Deliverable D6.3: Security evaluation of STG and communications. Norsk Regnesentral. pp 27. 2016.
. Deliverable D6.1: Demonstration activities -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 13. 2016.
. 2015
Deliverable D3.4: Test and Security and Privacy Risk Analysis -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 29. 2015.
. Deliverable D3.1: Protocol Security Design -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 19. 2015.
. Deliverable D2.6: Security Evaluation Outcome -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 23. 2015.
. Deliverable D2.5: Prototype of Secure Software Element -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 36. 2015.
. PCAS Deliverable D6.1 STG and CE Architecture and Overall Design. Norsk Regnesentral. pp 44. 2015.
. PCAS Deliverable D2.4 Security Evaluation. Norsk Regnesentral. pp 81. 2015.
. PCAS Deliverable D4.6 SPD Report on Data Encryption Mechanisms. OS New Horizon Ltd. pp 22. 2015.
. PCAS Deliverable D6.2 IDM, Authentication, Access and Provisioning Service Design. Norsk Regnesentral. pp 44. 2015.
. The Project GB-BOHEME-2014/15 -- Final Report. Norsk Regnesentral. NR-notat DART/09/2015. pp 34. 2015. Fulltekst
. 2014
PCAS Project Deliverable 2.3: Secure Communication Protocols and Services. Norsk Regnesentral. pp 35. 2014.
. HighTrustWallet Deliverable D1.2: Security Requirements. Norsk Regnesentral. pp 27. 2014.
. HighTrustWallet Deliverable D1.1: Project Handbook. Norsk Regnesentral. pp 12. 2014.
. PCAS Project Deliverable D5.1: Smartphone/Desktop Software Architecture. INESC-ID. pp 59. 2014.
. PCAS Project Deliverable 2.2: Precise Architecture Model. Norsk Regnesentral. pp 82. 2014.
. PCAS Project Deliverable 2.1: PCAS High-level Design. AFCON. pp 58. 2014.
. 2013
Smart Information Systems - Final report of the project GB-SMS-2012/2013. Norsk Regnesentral. NR-notat DART/13/2013. pp 31. 2013.
. Sikkerhet i klientprogramvare. Norsk Regnesentral. NR-notat DART/05/2013. pp 25. 2013.
. 2012
TrueGen 4.0 Design. Norsk Regnesentral. NR-notat DART/11/2012. pp 54. 2012.
. TrueGen 4.0 User Guide. Norsk Regnesentral. NR-notat DART/13/2012. pp 31. 2012.
. TrueGen 4.0 Developer’s Guide. Norsk Regnesentral. NR-notat DART/12/2012. pp 20. 2012.
. Technical Note on the Hands-On 3D Project. Norsk Regnesentral. NR-notat DART/02/2012. pp 20. 2012.
. TrueGen Changelog. Norsk Regnesentral. NR-notat DART/10/2012. pp 8. 2012.
. Universal Open Content Lifecycle Management. Norsk Regnesentral. NR-notat DART/18/2012. pp 29. 2012.
. Acoustic GSM Modem Prototype. Norsk Regnesentral. NR-notat DART/04/2012. 2012.
. 2011
Open Content Lifecycle Management. Norsk Regnesentral. NR-notat DART/09/2011. pp 23. 2011.
. 2010
Penetrasjonstesting av IP-telefoniløsningen i Buskerud fylkeskommune. Norsk Regnesentral. NR-notat DART/17/2010. pp 15. 2010.
. 2009
D.4.4 – Integration with JMS, Tibco’s, Reuters, and IBM’s MQ Series. GEMOM/NR/WP4//4.4/0.01/. pp 17. 2009.
. 2006
Pre-study: software solutions for scheduling. Norsk Regnesentral. NR-notat DART/01/06. 2006.
. 2005
Analysis of object-oriented programs: a survey. Norsk Regnesentral. NR-notat DART/11/05. pp 15. 2005. Fulltekst
. Elektroniske spor. 1008. (ISBN 978-82-53-90516-7) pp 65. 2005.
. 2004
Experiences from Participation in EU-projects: HARP, CORAS, CASENET. Norsk Regnesentral. pp 14. 2004.
. Design and Implementation of the Channel-S Streaming System. Norsk Regnesentral. NR-notat DART/07/04. pp 22. 2004.
. The CHECKIN Project-Final Report. Norsk Regnesentral. NR-notat DART/09/04. pp 29. 2004.
. 2003
Specification and Design Methodologies. Deliverable D2.2. CASENET/WP2/D2.2. 2003.
. User Trial Progress Report. Deliverable D5.2. CASENET/WP5/D5.2. 2003.
. 2002
Generalized two-tier relevance filtering of computer game update events. Norsk Regnesentral. NR-notat IMEDIA/05/02. pp 8. 2002.
. MobileSLM pre-project - Development Report. Norsk Regnesentral. NR-notat DART/01/02. pp 37. 2002.
. 2001
Streamed Multimedia Presentation for Low-Bandwidth Mobile Terminals: A Virtual Machine Approach. Norsk Regnesentral. NR-notat OMNI/07/01. pp 10. 2001.
. Form validation mechanism: Design relevant standards and technology. pp 19. 2001.
. 2000
Design and Implementation of the Generic Multimedia Server Platform. Norsk Regnesentral. NR-notat OMNI/04/00. pp 75. 2000.
. 1999
Experiences with mobile application development within MOPAS. Norsk Regnesentral. NR-notat IMEDIA/07/99. pp 18. 1999. Fulltekst
. 1998
MOPAS checklist application architecture. Norsk Regnesentral. NR-notat IMEDIA/11/1998. pp 12. 1998.
. Popular scientific article
2012
Interacting with a Horse Saddle from the Viking Ages. Norsigd Info (ISSN 0803-8317). (1/2012) pp 10-13. 2012. Fulltekst
. 2002
Multimedia-presentasjoner på mobile terminaler med lav båndbredde. Norsigd Info (ISSN 0803-8317). (1/2002) pp 5-12. 2002. Fulltekst
.

Name: | Thor Kristoffersen |
Title: | Seniorforsker / Senior Research Scientist |
Phone: | (+47) +47 22 85 25 88 |
Email: | thor [at] nr [dot] no |
Scientific areas: | Visual systems, Distribution systems |
![]() | Add to contacts (vCard) |
Show publications |
Academic article
2021
An Abstract Machine Approach to Preserving Digital Information. IEEE Access (ISSN 2169-3536). 9 pp 154914-154932. doi: 10.1109/ACCESS.2021.3128382. 2021.
. 2016
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.
. 2010
. 2009
Virtualization as a Strategy for Maintaining Future Access to Multimedia Content. Ukjent 2009. Fulltekst
. 2004
Integrating a security requirement language with UML. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 3273 pp 350-364. doi: 10.1007/978-3-540-30187-5_25. 2004. Fulltekst
. 2003
Extracting high-level information from Petri nets: a railroad case. Proceedings of the Estonian Academy of Sciences : Physics, Mathematics (ISSN 1406-0086). 52(4) pp 378-393. 2003. Fulltekst
. 2002
Streamed multimedia presentation for low-bandwidth mobile terminals: A virtual machine approach. World Wireless Congress (ISSN 1529-2592). 3Gwireless'2002 2002. Fulltekst
. Simulating the Oslo subway by hierarchic, coloured, object-oriented, timed Petri Nets with viewpoints. Ukjent 2002. Fulltekst
. Academic chapter/article/Conference paper
2006
Simplified Workflow Management with Metadata-Enhanced Petri Nets. In: Proceedings of the 2006 IEEE International Conference on Systems, Man, and Cybernetics. (ISBN 1-4244-0100-3). pp 2729-2735. 2006. Omtale
. 2002
Generalized Two-Tier relevance filtering of compute game update events. In: Proceedings of the 1st Workshop on Network and System Support for Games, NETGAMES 2002. (ISBN 1-58113-493-2). pp 10-13. 2002.
. Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate. In: Simulation und Visualisierung 2002. (ISBN 1-56555-234-2). pp 147-159. 2002. Fulltekst
. Academic lecture
2011
The CryoClim system for cryospheric climate monitoring. Nordic Remote Sensing Days, 8/30/2011 - 8/31/2011. Fulltekst
. 2002
A high Level Formal Language for Specifying Security Properties. 14th Nordic Workshop in Programming theory; Tallin, Estonia, 11/20/2002 - 11/22/2002. Fulltekst
. Simulating the Oslo Subway by Hierarchic Coloured, Object-oriented timed Petri Nets with viewpoints. 14th Nordic Workshop on Programming Theory; Tallin, Estonia, 11/20/2002 - 11/22/2002.
. Report
2022
LegalTech. Norsk Regnesentral. NR-notat DART/25/22. pp 33. 2022.
. Operational Risk: Future Directions in Security, Resilience and Maturity. Norsk Regnesentral. NR-notat DART/24/22. pp 26. 2022.
. Automatiserte prosesser innen regnskap, revisjon og finans. Norsk Regnesentral. NR-notat DART/01/22. pp 22. 2022.
. Automatisering av bærekraftsrevisjon. Norsk Regnesentral. NR-notat DART/26/22. pp 25. 2022.
. Preservation of decommissioned IT systems: Strategies, technologies, and state of the art. Norsk Regnesentral. NR-notat DART/08/22. pp 28. 2022.
. SoundVision – User Evaluation Report from Norway. Norsk Regnesentral. NR-notat DART/07/22. pp 27. 2022.
. SoundVision D4.4: Indoor Navigation and Location Finder. Norsk Regnesentral. NR-notat DART/05/22. pp 31. 2022.
. 2021
Research Challenges in SSI in Secured Digital Infrastructures. Norsk Regnesentral. NR-notat ICT Research/01/21. pp 37. 2021.
. 2018
Sluttrapport: Robotdusj som et løft i offentlig sektor. Norsk Regnesentral. NR-notat DART/01/2018. pp 51. 2018.
. 2017
EHRPathways D4.5: Final Report of WP4. Norsk Regnesentral. NR-notat DART/06/2017. pp 45. 2017.
. EHRpathways - Deliverable D4.2: Workflow Support for EHR Systems. Norsk Regnesentral. NR-notat DART/05/2017. pp 33. 2017.
. Roadmap for Real-Time Web and the Internet of Things. Norsk Regnesentral. NR-notat DART/08/2017. pp 13. 2017.
. Security analysis of an end-to-end encryption protocol. Norsk Regnesentral. NR-notat DART/16/2017. pp 11. 2017.
. The Project GB-MULTE-2016/17 - Final Report. Norsk Regnesentral. NR-notat DART/20/2017. pp 21. 2017.
. 2016
EHR Pathways as Petri Nets - Version 1. Norsk Regnesentral. NR-notat DART/14/2016. 2016.
. PCAS Deliverable D8.1: Security Evaluation – Communication. Norsk Regnesentral. pp 52. 2016.
. PCAS Deliverable D6.4: Secured Trusted Gateway (STG). Norsk Regnesentral. pp 38. 2016.
. PCAS Deliverable D6.3: Security evaluation of STG and communications. Norsk Regnesentral. pp 27. 2016.
. Deliverable D6.1: Demonstration activities -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 13. 2016.
. 2015
Deliverable D3.4: Test and Security and Privacy Risk Analysis -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 29. 2015.
. Deliverable D3.1: Protocol Security Design -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 19. 2015.
. Deliverable D2.6: Security Evaluation Outcome -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 23. 2015.
. Deliverable D2.5: Prototype of Secure Software Element -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 36. 2015.
. PCAS Deliverable D6.1 STG and CE Architecture and Overall Design. Norsk Regnesentral. pp 44. 2015.
. PCAS Deliverable D2.4 Security Evaluation. Norsk Regnesentral. pp 81. 2015.
. PCAS Deliverable D4.6 SPD Report on Data Encryption Mechanisms. OS New Horizon Ltd. pp 22. 2015.
. PCAS Deliverable D6.2 IDM, Authentication, Access and Provisioning Service Design. Norsk Regnesentral. pp 44. 2015.
. The Project GB-BOHEME-2014/15 -- Final Report. Norsk Regnesentral. NR-notat DART/09/2015. pp 34. 2015. Fulltekst
. 2014
PCAS Project Deliverable 2.3: Secure Communication Protocols and Services. Norsk Regnesentral. pp 35. 2014.
. HighTrustWallet Deliverable D1.2: Security Requirements. Norsk Regnesentral. pp 27. 2014.
. HighTrustWallet Deliverable D1.1: Project Handbook. Norsk Regnesentral. pp 12. 2014.
. PCAS Project Deliverable D5.1: Smartphone/Desktop Software Architecture. INESC-ID. pp 59. 2014.
. PCAS Project Deliverable 2.2: Precise Architecture Model. Norsk Regnesentral. pp 82. 2014.
. PCAS Project Deliverable 2.1: PCAS High-level Design. AFCON. pp 58. 2014.
. 2013
Smart Information Systems - Final report of the project GB-SMS-2012/2013. Norsk Regnesentral. NR-notat DART/13/2013. pp 31. 2013.
. Sikkerhet i klientprogramvare. Norsk Regnesentral. NR-notat DART/05/2013. pp 25. 2013.
. 2012
TrueGen 4.0 Design. Norsk Regnesentral. NR-notat DART/11/2012. pp 54. 2012.
. TrueGen 4.0 User Guide. Norsk Regnesentral. NR-notat DART/13/2012. pp 31. 2012.
. TrueGen 4.0 Developer’s Guide. Norsk Regnesentral. NR-notat DART/12/2012. pp 20. 2012.
. Technical Note on the Hands-On 3D Project. Norsk Regnesentral. NR-notat DART/02/2012. pp 20. 2012.
. TrueGen Changelog. Norsk Regnesentral. NR-notat DART/10/2012. pp 8. 2012.
. Universal Open Content Lifecycle Management. Norsk Regnesentral. NR-notat DART/18/2012. pp 29. 2012.
. Acoustic GSM Modem Prototype. Norsk Regnesentral. NR-notat DART/04/2012. 2012.
. 2011
Open Content Lifecycle Management. Norsk Regnesentral. NR-notat DART/09/2011. pp 23. 2011.
. 2010
Penetrasjonstesting av IP-telefoniløsningen i Buskerud fylkeskommune. Norsk Regnesentral. NR-notat DART/17/2010. pp 15. 2010.
. 2009
D.4.4 – Integration with JMS, Tibco’s, Reuters, and IBM’s MQ Series. GEMOM/NR/WP4//4.4/0.01/. pp 17. 2009.
. 2006
Pre-study: software solutions for scheduling. Norsk Regnesentral. NR-notat DART/01/06. 2006.
. 2005
Analysis of object-oriented programs: a survey. Norsk Regnesentral. NR-notat DART/11/05. pp 15. 2005. Fulltekst
. Elektroniske spor. 1008. (ISBN 978-82-53-90516-7) pp 65. 2005.
. 2004
Experiences from Participation in EU-projects: HARP, CORAS, CASENET. Norsk Regnesentral. pp 14. 2004.
. Design and Implementation of the Channel-S Streaming System. Norsk Regnesentral. NR-notat DART/07/04. pp 22. 2004.
. The CHECKIN Project-Final Report. Norsk Regnesentral. NR-notat DART/09/04. pp 29. 2004.
. 2003
Specification and Design Methodologies. Deliverable D2.2. CASENET/WP2/D2.2. 2003.
. User Trial Progress Report. Deliverable D5.2. CASENET/WP5/D5.2. 2003.
. 2002
Generalized two-tier relevance filtering of computer game update events. Norsk Regnesentral. NR-notat IMEDIA/05/02. pp 8. 2002.
. MobileSLM pre-project - Development Report. Norsk Regnesentral. NR-notat DART/01/02. pp 37. 2002.
. 2001
Streamed Multimedia Presentation for Low-Bandwidth Mobile Terminals: A Virtual Machine Approach. Norsk Regnesentral. NR-notat OMNI/07/01. pp 10. 2001.
. Form validation mechanism: Design relevant standards and technology. pp 19. 2001.
. 2000
Design and Implementation of the Generic Multimedia Server Platform. Norsk Regnesentral. NR-notat OMNI/04/00. pp 75. 2000.
. 1999
Experiences with mobile application development within MOPAS. Norsk Regnesentral. NR-notat IMEDIA/07/99. pp 18. 1999. Fulltekst
. 1998
MOPAS checklist application architecture. Norsk Regnesentral. NR-notat IMEDIA/11/1998. pp 12. 1998.
. Popular scientific article
2012
Interacting with a Horse Saddle from the Viking Ages. Norsigd Info (ISSN 0803-8317). (1/2012) pp 10-13. 2012. Fulltekst
. 2002
Multimedia-presentasjoner på mobile terminaler med lav båndbredde. Norsigd Info (ISSN 0803-8317). (1/2002) pp 5-12. 2002. Fulltekst
.