2024

• Fröschle, Sibylle B.; Kubisch, Martin
  Three taps for secure machine-to-machine communication : towards high assurance yet fully local machine pairing
  6th Workshop on CPS&IoT Security and Privacy, CPSIoTSec 2024
  Verlags DOI
• Kulkarni, Uma; Fröschle, Sibylle B.
  CAN Message Collision Avoidance Filter For In-Vehicle Networks
  9th International Conference on Cyber-Technologies and Cyber-Systems, CYBER 2024
  
• Fröschle, Sibylle B.; Kubisch, Martin
  Key Establishment for Maintenance with Machine to Machine Communication in Transportation : Security Process and Mitigation Measures
  International Journal on Advances in Security 17 (3&4): (2024)
  

2023

• Fröschle, Sibylle B.; Wolters, Philipp
  Enabling Secure Communication for Cyber-Physical Processes in Critical Infrastructures
  Digital Total - Computing & Data Science an der Universität Hamburg und in der Wissenschaftsmetropole Hamburg (2023)
  
• Fröschle, Sibylle B.; Kubisch, Martin
  Security Process for Adopting Machine to Machine Communication for Maintenance in Transportation with a Focus on Key Establishment
  The Fifteenth International Conference on Advances in System Simulation (SIMUL 2023)
  

2021

• Möller, Julius; Fröschle, Sibylle B.; Hahn, Axel
  Permissioned Blockchain for Data Provenance in Scientific Data Management
  International Conference on Wirtschaftsinformatik (WI 2021)
  Verlags DOI

2020

• Fröschle, Sibylle; Kubisch, Martin; Gräfing, Marlon
  Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain
  arXiv: 2004.02516 (2020)
  

2019

• Strathmann, Thomas; Fröschle, Sibylle
  Towards a model-based safety and security analysis
  Dagstuhl-Workshop: Modellbasierte Entwicklung Eingebetteter Systeme XIII (MBEES 2017)
  

2018

• Zacharias, Jithin; Fröschle, Sibylle
  Misbehavior detection system in VANETs using local traffic density
  IEEE Vehicular Networking Conference (VNC 2018)
  Verlags DOI

2017

• Fröschle, Sibylle B.; Stühring, Alexander
  Analyzing the capabilities of the CAN attacker
  Lecture Notes in Computer Science 10492 LNCS: 464-482 (2017)
  Verlags DOI

2016

• Stühring, Alexander; Ehmen, Günter; Fröschle, Sibylle B.
  Analyzing the impact of injected sensor data on an advanced driver assistance system using the OP2 TIMUS prototyping platform
  19th Design, Automation & Test in Europe Conference & Exhibition, (DATE 2016)
  Verlags DOI

2015

• Fröschle, Sibylle B.
  Causality, behavioural equivalences, and the security of cyberphysical systems
  Lecture Notes in Computer Science 9360 LNCS: A8, 83-98 (2015)
  Verlags DOI
• Müllner, Nils; Fränzle, Martin; Fröschle, Sibylle B.
  Estimating the probability of a timely traffic-hazard warning via simulation
  Simulation Series 47 (2): 130-137 (2015)
  
• Fröschle, Sibylle B.
  Leakiness is decidable for well-founded protocols
  Lecture Notes in Computer Science 9036: 176-195 (2015)
  Verlags DOI

2014

• Stierand, Ingo; Malipatlolla, Sunil Dath Kumar; Fröschle, Sibylle B.; Stühring, Alexander; Henkler, Stefan
  Integrating the security aspect into design space exploration of embedded systems
  IEEE International Symposium on Software Reliability Engineering workshops (ISSREW), 2014: 6983869, 371-376 (2014-12-12)
  Verlags DOI
• Fröschle, Sibylle B.; Valencia, Frank D.
  Preface to special issue: EXPRESS 2010
  Mathematical Structures in Computer Science 26 (6): 907-907 (2016-09-01)
  Verlags DOI
• Etzien, Christoph; Gezgin, Tayfun; Fröschle, Sibylle B.; Henkler, Stefan; Rettberg, Achim
  Contracts for evolving systems
  16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013: 6913235, 1-8 (2014-09-29)
  Verlags DOI
• Fröschle, Sibylle B.; Stühring, Alexander
  Idea: Security engineering principles for day two Car2X applications
  Lecture Notes in Computer Science 8364 LNCS: 213-221 (2014)
  Verlags DOI

2012

• Fröschle, Sibylle B.; Sommer, Nils
  Concepts and proofs for configuring PKCS#11
  Lecture Notes in Computer Science (7140 LNCS): 131-147 (2012-07-23)
  Verlags DOI
• Bonchi, Filippo; Fröschle, Sibylle B.; Gorla, Daniele; Klin, Bartek
  Preface to special issue: EXPRESS, ICE and SOS 2009
  Mathematical Structures in Computer Science 22 (2): 123-124 (2012-04)
  Verlags DOI

2011

• Fröschle, Sibylle B.; Sommer, Nils
  Reasoning with past to prove pkcs#11 keys secure
  Lecture Notes in Computer Science (6561 LNCS): 96-110 (2011-03-18)
  Verlags DOI

2010

• Czerwiński, Wojciech; Fröschle, Sibylle B.; Lasota, Sławomir
  Partially-commutative context-free processes: expressibility and tractability
  Information and Computation 209 (5): 782-798 (2011-05-01)
  Verlags DOI

2009

• Czerwiński, Wojciech; Fröschle, Sibylle B.; Lasota, Sławomir
  Partially-commutative context-free processes
  Lecture Notes in Computer Science (5710 LNCS): 259-273 (2009-10-16)
  Verlags DOI
• Fröschle, Sibylle B.; Steel, Graham
  Analysing PKCS#11 key management APIs with unbounded fresh data
  Lecture Notes in Computer Science (5511 LNCS): 92-106 (2009-09-28)
  Verlags DOI
• Fröschle, Sibylle B.
  Adding branching to the strand space model
  Electronic Notes in Theoretical Computer Science 242 (1): 139-159 (2009-07-09)
  Open Access | Verlags DOI
• Fröschle, Sibylle B.; Jančar, Petr; Lasota, Sławomir; Sawa, Zdeněk
  Non-interleaving bisimulation equivalences on Basic Parallel Processes
  Information and Computation 208 (1): 42-62 (2010)
  Verlags DOI
• Fröschle, Sibylle B.; Lasota, Sławomir
  Normed processes, unique decomposition, and complexity of bisimulation equivalences
  Electronic Notes in Theoretical Computer Science 239 (C): 17-42 (2009-07-01)
  Open Access | Verlags DOI

2007

• Fröschle, Sibylle B.; Lasota, Sławomir
  Causality versus true-concurrency
  Theoretical Computer Science 386 (3): 169-187 (2007-11-01)
  Verlags DOI
• Fröschle, Sibylle B.
  The insecurity problem: Tackling unbounded data
  20th IEEE Computer Security Foundations Symposium (CSFS 2007)
  Verlags DOI

2006

• Fröschle, Sibylle B.; Lasota, Sławomir
  Causality versus true-concurrency
  Electronic Notes in Theoretical Computer Science 154 (3): 3-18 (2006-07-19)
  Open Access | Verlags DOI

2005

• Fröschle, Sibylle B.
  Composition and decomposition in true-concurrency
  Lecture Notes in Computer Science 3441: 333-347 (2005)
  Verlags DOI
• Fröschle, Sibylle B.; Lasota, Sławomir
  Decomposition and complexity of hereditary history preserving bisimulation on BPP
  Lecture Notes in Computer Science 3653: 263-277 (2005)
  Verlags DOI

2004

• Fröschle, Sibylle B.
  The decidability border of hereditary history preserving bisimilarity
  Information Processing Letters 93 (6): 289-293 (2005-03-31)
  Verlags DOI

2002

• Bradfield, Julian; Fröschle, Sibylle B.
  On logical and concurrent equivalences
  Electronic Notes in Theoretical Computer Science 52 (1): 32-45 (2002-02-01)
  Open Access | Verlags DOI

1999

• Fröschle, Sibylle B.
  Decidability of plain and hereditary history-preserving bisimilarity for BPP
  Electronic Notes in Theoretical Computer Science 27: 85-106 (1999-12-01)
  Open Access | Verlags DOI
• Fröschle, Sibylle B.; Hildebrandt, Thomas
  On plain and hereditary history-preserving bisimulation
  Lecture Notes in Computer Science 1672: 354-365 (1999)
  Verlags DOI