SAT-CPS@CODASPY

Keyphrases

Publications

2023

2022

Paul Georg Wagner, Jürgen Beyerer
Quantifying Trustworthiness in Decentralized Trusted Applications. SAT-CPS@CODASPY (2022)
Jamie Thorpe, Raymond Fasano, Meghan Galiardi Sahakian, Amanda Gonzales, Andrew Hahn, Joshua Morris, Timothy Ortiz, Hannah Reinbolt, Eric D. Vugrin
A Cyber-Physical Experimentation Platform for Resilience Analysis. SAT-CPS@CODASPY (2022)
Mehrnoosh Shakarami, James Benson, Ravi S. Sandhu
Blockchain-Based Administration of Access in Smart Home IoT. SAT-CPS@CODASPY (2022)
Max Landauer, Maximilian Frank, Florian Skopik, Wolfgang Hotwagner, Markus Wurzenberger, Andreas Rauber
A Framework for Automatic Labeling of Log Datasets from Model-driven Testbeds for HIDS Evaluation. SAT-CPS@CODASPY (2022)
Ooi Sian En, Razvan Beuran, Yasuo Tan, Takayuki Kuroda, Takuya Kuwahara, Norihito Fujita
SecureWeaver: Intent-Driven Secure System Designer. SAT-CPS@CODASPY (2022)
Nikhil Gupta
Secure, Trustworthy and Scalable Digital Manufacturing Cyber-Physical System. SAT-CPS@CODASPY (2022)
Matthew Jablonski, Duminda Wijesekera, Anoop Singhal
Generating Cyber-Physical System Risk Overlays for Attack and Fault Trees using Systems Theory. SAT-CPS@CODASPY (2022)
Shwetha Gowdanakatte, Indrakshi Ray, Siv Hilde Houmb
Attribute Based Access Control Model for Protecting Programmable Logic Controllers. SAT-CPS@CODASPY (2022)
Przemyslaw Buczkowski, Pasquale Malacaria, Chris Hankin, Andrew Fielder
Optimal Security Hardening over a Probabilistic Attack Graph: A Case Study of an Industrial Control System using CySecTool. SAT-CPS@CODASPY (2022)
Danish Hudani, Muhammad Haseeb, Muhammad Taufiq, Muhammad Azmi Umer, Nandha Kumar Kandasamy
A Data-Centric Approach to Generate Invariants for a Smart Grid Using Machine Learning. SAT-CPS@CODASPY (2022)
Marietheres Dietz, Leon Hageman, Constantin von Hornung, Günther Pernul
Employing Digital Twins for Security-by-Design System Testing. SAT-CPS@CODASPY (2022)
Gaurav Goyal, Peng Liu, Shamik Sural
Securing Smart Home IoT Systems with Attribute-Based Access Control. SAT-CPS@CODASPY (2022)
Felix Wruck, Vasil Sarafov, Florian Jakobsmeier, Michael Weiß
GyroidOS: Packaging Linux with a Minimal Surface. SAT-CPS@CODASPY (2022)

2021