Picture of Ian Oliver

Ian Oliver

Espoo, Finland
Senior Security Researcher

Education

PhD entitled "Animating Object Oriented Conceptual Models"  (2001), Computing Laboratory, University of Kent at Canterbury, UK
BSc,(with honors) Computer Science, 1st class (1996) University of Brighton, UK

Biography

Ian Oliver works for Nokia Bell Labs as a senior security researcher specialising in high-integrity and trusted Network Function Virtualisation "TelcoCloud" systems, and on occasion the more theoretical underpinnings of privacy and privacy engineering. He also holds a Research Fellow position at the University of Brighton working with the Visual Modelling Group on diagrammatic forms of reasoning and semantics.

He previously worked as the privacy officer for Nokia Services and for eleven years at Nokia Research Centre working with Semantic Web, UML, formal methods and hardware-software co-design. He has also worked at Helsinki University of Technology and Aalto University teaching formal methods and modelling with UML. He holds over 40 patents in areas such as The Internet of Things, semantic technologies and privacy, as well as numerous papers in these areas. He is the author of the book: Privacy Engineering – A Data Flow and Ontological Approach. (www.privacyengineeringbook.net)

Ian lives in Sipoo, Finland with his wife, two children, dog and cat and in his spare time fires arrows from horseback.

Research Interests

  • Cryptography
  • Information Systems
  • IoT/M2M
  • Machine Learning
  • Network Architecture & Design
  • Network Security
  • Software Engineering

Professional Activities

Joint organiser and chair with Dr. Silke Holtmanns (Bell Labs) of the 1st, 2nd and 3rd International Workshops on 5G Security (IW5GS)
IW5GS2015 was held in Helsinki, Finland; The 2nd International Workshop on 5G Security IW5GS2016, Xi'an, China; IW5Gs 2017 will returning to Helsinki.


Selected Articles and Publications

Ian Oliver (2016). Experiences in the Development and Usage of a Privacy Requirements Framework. Requirements Engineering 2016, Beijing, China

Ian Oliver, Yoan Miche (2016). On the Development of A Metric for Quality of Information Content over Anonymised Data-Sets. Quatic 2016, Lisbon, Portugal

Ian Oliver, Siddharth Rao, Silke Holtmanns, Tuomas Aura (2016). The Known Unknowns of SS7 and Beyond. TROOPERS 2016

Ian Oliver, Peter Chapman, Tie Hou (2016). Measuring Perceived Clutter in Concept Diagrams. IEEE Symposium on Visual Languages and Human-Centric Computing, Cambridge, UK

Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns (2016) A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. ICFEM 2016: 141-158

Silke Holtmanns, Siddharth Prakash Rao, Ian Oliver (2016) User location tracking attacks for LTE networks using the interworking functionality. Networking 2016: 315-322

Ian Oliver, Silke Holtmanns (2015) Aligning the Conflicting Needs of Privacy, Malware Detection and Network Protection. TrustCom/BigDataSE/ISPA (1) 2015: 547-554

Siddharth Prakash Rao, Silke Holtmanns, Ian Oliver, Tuomas Aura (2015) Unblocking Stolen Mobile Devices Using SS7-MAP Vulnerabilities: Exploiting the Relationship between IMEI and IMSI for EIR Access. TrustCom/BigDataSE/ISPA (1) 2015: 1171-1176

Sergey Boldyrev, Dmitry Kolesnikov, Ora Lassila, Ian Oliver (2012) Data and Computation Interoperability in Internet Services. CLOSER 2012: 59-63

Gem Stapleton, John Howse, Peter Chapman, Ian Oliver, Aidan Delaney (2012) What Can Concept Diagrams Say? Diagrams 2012: 291-293

Ian Oliver, John Howse, Gem Stapleton (2009). Visual Reasoning about Ontologies. International Semantic Web Conference (ISWC 2009)

Ian Oliver, John Howse, Gem Stapleton, Esko Nuutila, Seppo Törmä (2009) A Proposed Diagrammatic Logic for Ontology Specification and Visualization. 8th International Semantic Web Conference (ISWC 2009)

Ian Oliver, Jukka Honkola, Sergey Boldyrev (2009) A Mechanism for Managing and Distributing Information and Queries in a Smart Space Environment. 1st International Workshop on Managing Data with Mobile Devices

Ian Oliver, Sergey Boldyrev (2009) Operations on Spaces of Information. ICSC 2009: 267-274

Sergey Boldyrev, Ian Oliver, Jukka Honkola (2009) Determining Information Signatures in Smart Spaces. ICSC 2009: 291-296

Ian Oliver, Kary Främling, Joni Jantunen, Sergey Boldyrev, Jukka Honkola (2009) Integration and uses of RF Memory Tags with Smart Space Semantic Web Middleware. ETFA 2009: 1-8

John Howse, Steve Schuman, Gem Stapleton, Ian Oliver (2009) Diagrammatic Formal Specification of a Configuration Control Platform. Electr. Notes Theor. Comput. Sci. 259: 87-104 (2009)

Ian Oliver, Jukka Honkola (2008) Personal Semantic Web Through A Space Based Computing Environment. CoRR abs/0808.1455 (2008)

Pontus Boström, Mats Neovius, Ian Oliver, Marina A. Waldén (2007) Formal Transformation of Platform Independent Models into Platform Specific Models. B 2007: 186-200


Ian Oliver, Juha Savolainen, Varvana Myllaniemi, Tomi Mannisto (2007). Analyzing and Re-structuring Product Line Dependencies. Computer Software and Applications Conference, 2007. COMPSAC 2007

Ian Oliver (2007) Experiences in Using B and UML in Industrial Development. B 2007: 248-251

Ian Oliver (2006). A Demonstration of Specifying and Synthesising Hardware using B and Bluespec. Forum on Design Languages FDL'06

Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm, Asim Pervez Zaka (2005) An Architecture Exploration Environment for System on Chip Design. Nord. J. Comput. 12(4): 361-378 (2005)

Alexander Krupp, Wolfgang Müller, Ian Oliver (2004) Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE 2004: 102-107

Ian Oliver (2004) Model Based Testing and Refinement in MDA Based Developent. FDL 2004: 180-192

Ian Oliver, Michele Marchetti (2003) Towards a Conceptual Framework for UML to Hardware Description Language Mappings. FDL 2003: 214-226

Ian Oliver (2002) Simulation of Software Behaviour using Animation. ESM 2002: 278-283

Books and Chapters

Privacy Engineering - A Dataflow and Ontological Approach, 2014, ISBN-13: 978-1497569713

"Information privacy is the major defining issue of today's Internet enabled World. To construct information systems from small mobile 'apps' to huge, heterogeneous, cloudified systems requires merging together skills from software engineering, legal, security and many other disciplines - including some outside of these fields! Only through properly modelling the system under development can we full appreciate the complexity of where personal data and information flows; and more importantly, effectively communicate this. This book presents an approach based upon data flow modelling, coupled with standardised terminological frameworks, classifications and ontologies to properly annotate and describe the flow of information into, out of and across these systems. Also provided are structures and frameworks for the engineering process, requirements and audits; and even the privacy programme itself, but takes a pragmatic approach and encourages using and modifying the tools and techniques presented as the local context and needs require."

Specifications and Modelling.

In: Brian Bailey, Grant Martin, Andrew Pizial (eds.) ESL Design and Verification. Morgan Kaufman Publications. pp139-173. 0-12-373551-3

Electronic System Level (ESL) design has mainstreamed – it is now an established approach at most of the world’s leading system-on-chip (SoC) design companies and is being used increasingly in system design. From its genesis as an algorithm modeling methodology with ‘no links to implementation’, ESL is evolving into a set of complementary methodologies that enable embedded system design, verification and debug through to the hardware and software implementation of custom SoC, system-on-FPGA, system-on-board, and entire multi-board systems.

This book arises from experience the authors have gained from years of work as industry practitioners in the Electronic System Level design area; they have seen "SLD" or "ESL" go through many stages and false starts, and have observed that the shift in design methodologies to ESL is finally occurring. This is partly because of ESL technologies themselves are stabilizing on a useful set of languages being standardized (SystemC is the most notable), and use models are being identified that are beginning to get real adoption.

Patents

US8266551B2   Method and apparatus for binding user interface elements and granular reflective processing     Sergey Boldyrev, Jukka Honkola, Mika Juhani Mannermaa, Hannu Laine, Ian Justin Oliver, Vesa-Veikko Luukkala, Sampo Juhani Sovio
US8458229B2   Method and system for projecting and injecting information spaces     Ian Justin Oliver, Sergey Boldyrev
US8150835B2   Method and apparatus for creating and utilizing information signatures     Sergey Boldyrev, Ian Justin Oliver, Jukka Honkola, Antti Tuomas Lappeteläinen, Sergey Balandin
US8478812B2   Method and apparatus for providing device compatibility information     Ian Justin Oliver, Sergey Boldyrev
US8686860B2   Method and apparatus for retrieving content via a service endpoint     Sergey Boldyrev, Ian Justin Oliver, Joni Jorma Marius JANTUNEN, Jarmo Tapani ARPONEN, Sergey Balandin
US8490151B2   Method and apparatus for performing a multi-role communication using a memory tag     Sergey Boldyrev, Jari-Jukka Harald Kaaja, Jarmo Tapani ARPONEN, Ian Justin Oliver, Mika Juhani Mannermaa, Alex Wilbur, Charles Wegrzyn, Mikko Sakari Haikonen, Antonio Guadagno
US8745121B2   Method and apparatus for construction and aggregation of distributed computations     Sergey Boldyrev, Jukka Honkola, Sampo Juhani Sovio, Hannu Laine, Ian Justin Oliver, Ronald Stephen Brown, Mika Juhani Mannermaa, Vesa-Veikko Luukkala, Samuli Silanto
US8571467B2   Method and apparatus for cognitive radio information sharing     Mikko Aleksi Uusitalo, Sergey Boldyrev, Jari-Jukka Harald Kaaja, Ian Justin Oliver
US8839347B2   Method and apparatus for providing privacy in cognitive radio information sharing     Sergey Boldyrev, Jari-Jukka Harald Kaaja, Ian Justin Oliver, Mikko Aleksi Uusitalo
US8843127B2   Method and apparatus for providing optimized privacy in cognitive radio information sharing     Sergey Boldyrev, Jari-Jukka Harald Kaaja, Ian Justin Oliver, Mikko Aleksi Uusitalo
US9201701B2   Method and apparatus for distributing computation closures     Sergey Boldyrev, Seppo Juhani Pyhälammi, Mika Juhani Mannermaa, Ian Justin Oliver, Ora Lassila, Corinne Dive-Reclus
US8615551B2   Method and apparatus for selective sharing of semantic information sets     Sergey Balandin, Ian Justin Oliver, Sergey Boldyrev
US8874585B2   Method and apparatus for user based search in distributed information space     Ian Justin Oliver, Guido Peter Grassel, Mikko Johannes Honkala, Juha-Pekka Luoma
US8285859B2   Method and apparatus for optimizing distribution of information and queries in information spaces     Sergey Boldyrev, Ian Justin Oliver, Antti Lappetelainen, Jukka Honkola
US9246882B2   Method and apparatus for providing a structured and partially regenerable identifier     Ian Justin Oliver
US8447974B2   Method and apparatus for managing access rights to information spaces     Sergey Boldyrev, Ian Justin Oliver, Jari-Jukka Harald Kaaja, Joni Jorma Marius JANTUNEN, Jarmo Tapani ARPONEN
US8401934B2   Method and apparatus for information and computation closures account management     Sergey Boldyrev, Nikolai Grigoriev, Ian Justin Oliver, Mika Juhani Mannermaa, Ora Lassila
US9141618B2   Method and apparatus for processing metadata in one or more media streams     Sergey Boldyrev, Ian Justin Oliver, Jari-Jukka Harald Kaaja, Jarmo Tapani Arponen
US9246914B2   Method and apparatus for processing biometric information using distributed computation     Sergey Boldyrev, Ian Justin Oliver, Vesa-Veikko Luukkala, Sampo Juhani Sovio
US8106761B2   Apparatus, method and computer program product for providing a perceivable physical indication of service availability     Vesa-Veikko Luukkala, Samu-Pekka Samuel Kontinen, Ian Justin Oliver, Jukka Honkola
US9038197B2   Method and apparatus for providing backend support for device control in risk conditions     Sergey Boldyrev, Jari-Jukka Harald Kaaja, Mikko Aleksi Uusitalo, Ian Justin Oliver
US8346814B2   Method and system of splitting and merging information spaces     Ian Justin Oliver, Sergey Boldyrev, Sergey Balandin
US9026609B2   Method and apparatus for coordinating media presentation on devices via an information space     Ian Justin Oliver, Sergey Boldyrev, Sergey Balandin, Timofey Turenko
US8661500B2   Method and apparatus for providing end-to-end privacy for distributed computations     Sergey Boldyrev, Jari-Jukka Harald Kaaja, Hannu Ensio Laine, Jukka Honkola, Vesa-Veikko Luukkala, Ian Justin Oliver
US9361347B2   Method, apparatus, and computer program product for determining data signatures in a dynamic distributed device network     Sergey Boldyrev, Ian Justin Oliver, Jukka Honkola
US9396040B2   Method and apparatus for providing multi-level distributed computations     Sergey Boldyrev, Jari-Jukka Harald Kaaja, Hannu Ensio Laine, Jukka Honkola, Vesa-Veikko Luukkala, Ian Justin Oliver
US8874747B2   Method and apparatus for load balancing in multi-level distributed computations     Sergey Boldyrev, Hannu Ensio Laine, Jari-Jukka Harald Kaaja, Jukka Honkola, Vesa-Veikko Luukkala, Ian Justin Oliver
US9460213B2   Method and apparatus for determining search results based on filtered information     Sergey Boldyrev, Marco Paglia, Ian Justin Oliver, Mika Juhani Mannermaa, Justin Oppelaar
US9008693B2   Method and apparatus for information aggregation around locations     Sergey Boldyrev, Marco Paglia, Ian Justin Oliver, Mika Juhani Mannermaa, Justin Oppelaar
US8200616B2   Method, apparatus, and computer program product for polynomial-based data transformation and utilization     Sergey Boldyrev, Ian Justin Oliver, Jukka Honkola, Antti Lappetelainen
US8290891B2   Method and apparatus of dynamic rules insertion by agents     Ian Justin Oliver, Ora Lassila, Sergey Boldyrev, Sergey Balandin
US9350533B2   Method and apparatus for delivering encrypted content to web browsers based on entropy of the content     Ian Justin Oliver