Publications
2023
A Review on Immune-Inspired Node Fault Detection in Wireless Sensor Networks with a Focus on the Danger Theory Dominik Widhalm, Karl M. Goeschka, Wolfgang Kastner (2023) ↗
A learner-verifier framework for neural network controllers and certificates of stochastic systems Krishnendu Chatterjee, Thomas Henzinger, Mathias Lechner, Dorde Zikelic (2023) ↗
Almost Tight Error Bounds on Differentially Private Continual Counting Monika Henzinger, Jalaj Upadhyay, Sarvagya Upadhyay (2023) ↗
An Extended View on Measuring Tor AS-level Adversaries Gabriel Gegenhuber, Markus Maier, Florian Holzbauer, Wilfried Mayer, Georg Merzdovnik, Edgar Weippl, Johanna Ullrich (2023) ↗
Breaking and Fixing Virtual Channels: Domino Attack and Donner Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei (30th Annual Network and Distributed System Security Symposium (NDSS) 2023, 2023) ↗
Bubaak: Runtime monitoring of program verifiers Marek Chalupa, Thomas Henzinger (2023) ↗
Certifying giant nonprimes Charlotte Hoffmann, Pavel Hubáček, Chethan Kamath, Krzysztof Pietrzak (2023) ↗
MobileAtlas: Geographically Decoupled Measurements in Cellular Networks for Security and Privacy Research Gabriel Gegenhuber, Wilfried Mayer, Edgar Weippl, Adrian Dabrowski (2023) ↗
Non-interactive Mimblewimble transactions, revisited Georg Fuchsbauer, Michele Orrù (Asiacrypt 2022, 2023) ↗
Quantitative safety and liveness Thomas Henzinger, Nicolas Mazzocchi, Naci Sarac (2023) ↗
Revisiting the adversarial robustness-accuracy tradeoff in robot learning Mathias Lechner, Alexander Amini, Daniela Rus, Thomas Henzinger (2023) ↗
SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients Hamza Abusalah, Georg Fuchsbauer, Peter Gazi, Karen Klein (Asiacrypt 2022, 2023) ↗
Satisfiability Modulo Custom Theories in Z3 Nikolaj Bjørner, Clemens Eisenhofer, Laura Kovács (International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 2023) ↗
VAMOS: Middleware for Best-Effort Third-Party Monitoring Marek Chalupa, Fabian Mühlböck, Stefanie Muroya Lei, Thomas Henzinger (2023) ↗
Vamos: Middleware for best-effort third-party monitoring Marek Chalupa, Fabian Mühlböck, Stefanie Muroya Lei, Thomas Henzinger (2023) ↗
2022
A Case for Cybersecurity Awareness Systems Thomas Schaberreiter, Gerald Quirchmayr, Alexandros Papanikolaou (2022) ↗
A Comparative Analysis of Certificate Pinning in Android & iOS Amogh Pradeep, Muhammad Talha Paracha, Protick Bhowmick, Ali Davanian, Abbas Razaghpanah, Taejoong Chung, Martina Lindorfer, Narseo Vallina-Rodriguez, Dave Levin, David Choffnes (Internet Measurement Conference (IMC), 2022) ↗
A Model Based Framework for Testing Safety and Security in Operational Technology Environments Mukund Bhole, Wolfgang Kastner, Thilo Sauter (2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022) ↗
A Safety and Security Reference Architecture for Asset Administration Shell Design Ali Mohammad Hosseini, Thilo Sauter, Wolfgang Kastner (2022 IEEE 18th International Conference on Factory Communication Systems (WFCS), 2022) ↗
A Tailored Model for Cyber Security Education Utilizing a Cyber Range Gregor Langner, Florian Skopik, Steven Furnell, Gerald Quirchmayr (2022) ↗
Abstract monitors for quantitative specifications Thomas Henzinger, Nicolas Mazzocchi, Naci Sarac (2022) ↗
Algebra-Based Reasoning for Loop Synthesis Andreas Humenberger, Daneshvar Amrollahi, Nikolaj Bjørner, Laura Kovács (2022) ↗
An updated survey of bidding games on graphs Guy Avni, Thomas Henzinger (2022) ↗
Applying Deep Learning-based concepts for the detection of device misconfigurations in power systems David Fellner, Thomas Strasser, Wolfgang Kastner (2022) ↗
Approximate Distance-Comparison-Preserving Symmetric Encryption Georg Fuchsbauer, Riddhi Ghosal, Nathan Hauke, Adam O’Neill (13th Conference on Security and Cryptography for Networks (SCN 2022), 2022) ↗
Automating Safety and Security Risk Assessment in Industrial Control Systems: Challenges and Constraints Pushparaj Bhosale, Wolfgang Kastner, Thilo Sauter (27th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2022) ↗
Automating Security Analysis of Off-Chain Protocols Lea Salome Brugger, Laura Kovacs, Anja Petkovic Komel, Sophie Rain, Michael Rawson (4th International Workshop on Formal Methods for Blockchains, 2022) ↗
Blockchain-supported design tool on building element scale Goran Sibenik, Marijana Sreckovic, Thomas Preindl, Martin Kjäer, Wolfgang Kastner (39th International Symposium on Automation and Robotics in Construction, 2022) ↗
CCgen: Injecting Covert Channels into Network Traffic Félix Iglesias, Fares Meghdouri, Robert Annessi, Tanja Zseby (2022) ↗
COLTRANE ? Towards a Methodology and Platform Supported Educational Basis for Cybersecurity Education Jerry Andriessen, Steven Furnell, Gregor Langner, Carmela Luciano, Gerald Quirchmayr, Vittorio Scarano, Teemu Tokola (2022) ↗
CoCoA: Concurrent continuous group key agreement Joël Alwen, Benedikt Auerbach, Miguel Cueto Noval, Karen Klein, Guillermo Pascual Perez, Krzysztof Pietrzak, Michael Walter (2022) ↗
Collaborative Cybersecurity Learning: Establishing Educator and Learner Expectations and Requirements Steven Furnell, Gregor Langner, Teemu Tokola, Jerry Andriessen, Gerald Quirchmayr, Carmela Luciano (2022) ↗
Collaborative Open Data in education: COLTRANE experience on cybersecurity Jerry Andriessen, Steven Furnell, Gregor Langner, Giuseppina Palmieri, Gerald Quirchmayr, Vittorio Scarano, Teemu Tokola (2022) ↗
Combined Modeling Techniques for Safety and Security in Industrial Automation: A Case Study Siegfried Hollerer, Marta Chabrova, Thilo Sauter, Wolfgang Kastner (2022 15th International Conference on Security of Information and Networks (SIN), 2022) ↗
Comparing Different Persistent Storage Approaches for Containerized Stateful Applications Patrick Denzler, Daniel Ramsauer, Thomas Preindl, Wolfgang Kastner, Alexander Gschnitzer (2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022) ↗
Comparing User Perceptions of Anti-Stalkerware Apps with the Technical Reality Matthias Fassl, Simon Anell, Sabine Houy, Martina Lindorfer, Katharina Krombholz (USENIX Symposium on Usable Privacy and Security (SOUPS) 2022, 2022) ↗
Concurrent OPC UA information model access, enabling real-time OPC UA PubSub Patrick Denzler, Mohammad Ashjaei, Thomas Frühwirth, Victor Nicholas Ebirim, Wolfgang Kastner (2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022) ↗
Concurrently Secure Blind Schnorr Signatures Georg Fuchsbauer, Mathias Wolf (2022) ↗
Credential Transparency System Melissa Chase, Georg Fuchsbauer, Esha Ghosh, Antoine Plouviez (13th Conference on Security and Cryptography for Networks (SCN 2022), 2022) ↗
Cyber Exercises in Computer Science Education Melisa Gafic, Simon Tjoa, Peter Kieseberg, Otto Hellwig, Gerald Quirchmayr (2022) ↗
Data Driven Transformer Level Misconfiguration Detection in Power Distribution Grids David Fellner, Thomas Strasser, Wolfgang Kastner, Behnam Feizifar, Ibrahim Faiek Abdulhadi (2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2022) ↗
DiCYCLE: Rethinking the buildings` end-of-life Marijana Sreckovic, Goran Sibenik, Stefan Schützenhofer, Iva Kovacic, Thomas Preindl, Wolfgang Kastner (2022 European Conference on Computing in Construction, 2022) ↗
Double-authentication-preventing signatures in the standard model Dario Catalano, Georg Fuchsbauer, Azam Soleimanian (2022) ↗
Failure Detectors for 6LoWPAN: Model and Implementation Philipp Raich, Wolfgang Kastner (International Conference on Electrical, Computer and Energy Technologies (ICECET) 2022, 2022) ↗
First-Order Subsumption via SAT Solving Jakob Rath, Armin Biere, Laura Kovacs (2022) ↗
Flavors of sequential information flow Ezio Bartocci, Thomas Ferrere, Thomas Henzinger, Dejan Nickovic, Ana Da Costa (2022) ↗
Foundations of Coin Mixing Services Noemi Glaeser, Matteo Maffei, Giulio Malavolta, Pedro Moreno-Sanchez, Erkan Tairi, Sri AravindaKrishnan Thyagarajan (2022 ACM SIGSAC Conference on Computer and Communications Security, 2022) ↗
Framework for the design and automatic deployment of smart grid applications Felix Knorr, Thomas Frühwirth, Wolfgang Kastner (2022) ↗
From User Stories to Data Flow Diagrams for Privacy Awareness: A Research Preview Guntur Herwanto, Gerald Quirchmayr, A Tjoa (2022) ↗
Functional Safety Use Cases in the Context of Reconfigurable Manufacturing Systems Dieter Etz, Patrick Denzler, Thomas Frühwirth, Wolfgang Kastner (2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA 2022), 2022) ↗
Functional Smart Grid Application Development Felix Knorr, Thomas Fruhwirth, Wolfgang Kastner (2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022) ↗
GoTube: Scalable statistical verification of continuous-depth models Sophie Gruenbacher, Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas Henzinger, Scott Smolka, Radu Grosu (2022) ↗
Hass-Postings als Form der Cyber-Kriminalit{\"a}t ? eine interdisziplin{\"a}re Verortung Bettina Biron, Bettina Pospisil, Edith Huber, Gerhard Backfried, Gerald Quirchmayr (2022) ↗
Hide & Seek: Privacy-preserving rebalancing on payment channel networks Georgia Avarikioti, Krzysztof Pietrzak, Iosif Salem, Stefan Schmid, Samarth Tiwari, Michelle Yeo (2022) ↗
History-deterministic timed automata Thomas Henzinger, Karoliina Lehtinen, Patrick Totzke (2022) ↗
History-deterministic timed automata are not determinizable Sougata Bose, Thomas Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke (2022) ↗
Human Perception and Building Automation Systems Daniel Ramsauer, Max Dorfmann, Hilda Tellioğlu, Wolfgang Kastner (2022) ↗
Information-flow interfaces Ezio Bartocci, Thomas Ferrere, Thomas Henzinger, Dejan Nickovic, Ana Da Costa (2022) ↗
KRYSTAL: Knowledge Graph-based Framework for Tactical Attack Discovery in Audit Data Kabul Kurniawan, Andreas Ekelhart, Elmar Kiesling, Gerald Quirchmayr, A Tjoa (2022) ↗
Lonely Points in Simplices Maximilian Jaroschek, Manuel Kauers, Laura Kovács (2022) ↗
Moment-based analysis of Bayesian network properties Miroslav Stankovič, Ezio Bartocci, Laura Kovács (2022) ↗
No Spring Chicken: Quantifying the Lifespan of Exploits in IoT Malware Using Static and Dynamic Analysis Arwa Abdulkarim Al Alsadi, Kaichi Sameshima, Jakob Bleier, Katsunari Yoshioka, Martina Lindorfer, Michel van Eeten, Carlos Hernández Gañán (ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, 2022) ↗
Not that Simple: Email Delivery in the 21st Century Florian Holzbauer, Johanna Ullrich, Martina Lindorfer, Tobias Fiebig (2022 USENIX Annual Technical Conference ATC '22, 2022) ↗
On the Undecidability of Loop Analysis Anton Varonka, Laura Kovacs (Reachability Problems, 2022) ↗
Ontology for Rating Dependability Attributes Thomas Frühwirth, Thomas Preindl, Wolfgang Kastner (48th Annual Conference of the Industrial Electronics Society - IECON 2022 Conference, 2022) ↗
Opportunistic Algorithmic Double-Spending: How I learned to stop worrying and love the Fork Nicholas Stifter, Aljosha Judmayer, Philipp Schindler, Edgar Weippl (2022) ↗
Position Paper: Escaping Academic Cloudification to Preserve Academic Freedom Tobias Fiebig, Seda Gürses, Martina Lindorfer (2022) ↗
Practical statistically-sound proofs of exponentiation in any group Charlotte Hoffmann, Pavel Hubáček, Chethan Kamath, Karen Klein, Krzysztof Pietrzak (2022) ↗
PrivacyStory: Tool Support for Extracting Privacy Requirements from User Stories Guntur Herwanto, Gerald Quirchmayr, A Tjoa (2022) ↗
Quantitative monitoring of software Thomas Henzinger (2022) ↗
Requirements and Challenges for Digital Forensic Readiness in Industrial Automation and Control Systems Richard Thron, Herbert Dirnberger, Simon Tjoa, Gerald Quirchmayr (2022) ↗
Revisiting the adversarial robustness-accuracy tradeoff in robot learning Mathias Lechner, Alexander Amini, Daniela Rus, Thomas Henzinger (2022) ↗
Rigorous Methods for Smart Contracts (2022) ↗
Risk Assessments Considering Safety, Security, and Their Interdependencies in OT Environments Siegfried Hollerer, Thilo Sauter, Wolfgang Kastner (17th International Conference on Availability, Reliability and Security (ARES 2022), 2022) ↗
Seamlessly Interfacing Automation Systems with Simulation Models Andrej Kurtovic, Gernot Steindl, Wolfgang Kastner (IEEE 5th International Conference on Industrial Cyber-Physical Systems (ICPS), 2022) ↗
Separating Flows in Encrypted Tunnel Traffic Alexander Hartl, Joachim Fabini, Tanja Zseby (21st IEEE International Conference on Machine Learning and Applications (ICMLA 2022), 2022) ↗
Sleepy Channels: Bi-directional Payment Channels without Watchtowers Lukas Aumayr, Sri AravindaKrishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-Sanchez, Matteo Maffei (CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022) ↗
Solving Invariant Generation for Unsolvable Loops Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovič (29th International Symposium, SAS 2022, 2022) ↗
Stability verification in stochastic control systems via neural network supermartingales Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas Henzinger (2022) ↗
Subverting Counter Mode Encryption for Hidden Communication in High-Security Infrastructures Alexander Hartl, Joachim Fabini, Christoph Roschger, Peter Eder-Neuhauser, Marco Petrovic, Roman Tobler, Tanja Zseby (IETF 113 Meeting - IRTF CFRG, 2022) ↗
Synthesis of parametric hybrid automata from time series Miriam Garcia Soto, Thomas Henzinger, Christian Schilling (2022) ↗
The RAPID Software Verification Framework Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovacs, Giles Reger (2022) ↗
The Vampire Approach to Induction (short paper) Marton Hajdu, Laura Kovacs, Michael Rawson, Andrei Voronkov (Practical Aspect of Automated Reasoning, 2022) ↗
This Is the Moment for Probabilistic Loops Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovacs (2022) ↗
Thora: Atomic and Privacy-Preserving Multi-Channel Updates Lukas Aumayr, Kasra Abbaszadeh, Matteo Maffei (CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022) ↗
Timing Analysis of TSN-Enabled OPC UA PubSub Patrick Heinrich Denzler, Thomas Frühwirth, Daniel Scheuchenstuhl, Martin Schoeberl, Wolfgang Kastner (2022 IEEE 18th International Conference on Factory Communication Systems (WFCS), 2022) ↗
Undervolting on wireless sensor nodes: a critical perspective Dominik Widhalm, Karl M. Goeschka, Wolfgang Kastner (23rd International Conference on Distributed Computing and Networking, 2022) ↗
User-Propagation for Custom Theories in SMT Solving Nikolaj Bjorner, Clemens Eisenhofer, Laura Kovacs (20th Internal Workshop on Satisfiability Modulo Theories, 2022) ↗
Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed Systems Patrick Heinrich Denzler, Johann Blieberger, Wolfgang Kastner (2022 IEEE 25th International Symposium On Real-Time Distributed Computing (ISORC), 2022) ↗
VloGraph: A Virtual Knowledge Graph Framework for Distributed Security Log Analysis Kabul Kurniawan, Andreas Ekelhart, Elmar Kiesling, Dietmar Winkler, Gerald Quirchmayr, A Tjoa (2022) ↗
WISE Workshops : Foundations for Collaborative Cyber Security Learning: Exploring Educator and Learner Requirements ; Reimaging Inclusive Pedagogy in Cybersecurity Education (A Workshop Proposal) Jerry Andriessen, Steven Furnell, Gregor Langner, Gerald Quirchmayr, Vittorio Scarno, Teemu Tokola, Angela Jackson-Summers (2022) ↗
2021
1, 2, 3, Fork: Counter Mode Variants based on a Generalized Forkcipher Elena Andreeva, Amit Singh Bhati, Bart Preneel, Damian Vizár (2021) ↗
A Centralised or Distributed Risk Assessment using Asset Administration Shell Pushparaj Bhosale, Wolfgang Kastner, Thilo Sauter (IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2021) ↗
A Computational Model for 6LoWPAN Multicast Routing Philipp Raich, Wolfgang Kastner (2021 17th IEEE International Conference on Factory Communication Systems (WFCS), 2021) ↗
A Deterministic Almost-Tight Distributed Algorithm for Approximating Single-Source Shortest Paths. Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai (SIAM J. Comput., 2021) ↗
A Named Entity Recognition Based Approach for Privacy Requirements Engineering Guntur Herwanto, Gerald Quirchmayr, A Tjoa (2021) ↗
A Survey of Fast-Recovery Mechanisms in Packet-Switched Networks. Marco Chiesa, Andrzej Kamisinski, Jacek Rak, Gábor Rétvári, Stefan Schmid (IEEE Commun. Surv. Tutorials, 2021) ↗
A Survey of Reconfigurable Optical Networks. Matthew Nance Hall, Klaus-Tycho Foerster, Stefan Schmid, Ramakrishnan Durairajan (Opt. Switch. Netw., 2021) ↗
A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei (IEEE Symposium on Security and Privacy, 2021) ↗
AVA: A Component-oriented Abstraction Layer for Virtual Plug&produce Automation Systems Engineering Goran Musić, Bernhard Heinzl, Wolfgang Kastner (2021) ↗
Adversarial training is not ready for robot learning Mathias Lechner, Ramin Hasani, Radu Grosu, Daniela Rus, Thomas Henzinger (2021) ↗
Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) Andreas Humenberger, Laura Kovács (22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2021) ↗
Algorithms and conditional lower bounds for planning problems. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil (Artif. Intell., 2021) ↗
All You Need is DAG. Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman (PODC, 2021) ↗
An Approach to Supporting Militia Collaboration in Disaster Relief Through a Digital Environment Philipp Hechenberger, G{\"u}nter Fahrnberger, Gerald Quirchmayr (2021) ↗
An Approach to Supporting Militia Collaboration in Disaster Relief Through a Digital Environment. Philipp Hechenberger, Günter Fahrnberger, Gerald Quirchmayr (I4CS, 2021) ↗
An Open-Source Wireless Sensor Node Platform with Active Node-Level Reliability for Monitoring Applications Dominik Widhalm, Karl M. Goeschka, Wolfgang Kastner (2021) ↗
Analysis of design phase processes with BIM for blockchain implementation M. Srećković, G. Šibenik, D. Breitfuß, T. Preindl, W. Kastner (European Conference on Product and Process Modelling 2020-2021, 2021) ↗
Area-Optimized Accurate and Approximate Softcore Signed Multiplier Architectures. Salim Ullah, Hendrik Schmidl, Siva Satyendra Sahoo, Semeen Rehman, Akash Kumar (IEEE Trans. Computers, 2021) ↗
Assuring long-term operational resilience in a pandemic - Lessons learned from COVID-19. Stefan Hofbauer, Gerald Quirchmayr (IAIT, 2021) ↗
Assuring long-term operational resilience in a pandemic: Lessons learned from COVID-19 Stefan Hofbauer, Gerald Quirchmayr (2021) ↗
Automated Generation of Exam Sheets for Automated Deduction Petra Hozzova, Laura Kovacs, Jakob Rath (2021) ↗
Automated Generation of Exam Sheets for Automated Deduction. Petra Hozzová, Laura Kovács, Jakob Rath (CICM, 2021) ↗
Automated Termination Analysis of Polynomial Probabilistic Programs Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács (30th European Symposium on Programming (ESOP 2021), 2021) ↗
Automating Induction by Reflection Johannes Schoisswohl, Laura Kovács (16th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), 2021) ↗
Bidding mechanisms in graph games Guy Avni, Thomas Henzinger, Đorđe Žikelić (2021) ↗
BioNetExplorer - Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables. Bharath Srinivas Prabakaran, Asima Akhtar, Semeen Rehman, Osman Hasan, Muhammad Shafique (IEEE Internet Things J., 2021) ↗
Bitcoin-Compatible Virtual Channels Lukas Aumayr, Oğuzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi (IEEE Symposium on Security and Privacy, 2021) ↗
Brief Announcement - Be Prepared When Network Goes Bad - An Asynchronous View-Change Protocol. Rati Gelashvili, Lefteris Kokoris-Kogias, Alexander Spiegelman, Zhuolun Xiang (PODC, 2021) ↗
Brief Announcement - Sinkless Orientation Is Hard Also in the Supported LOCAL Model. Janne H. Korhonen, Ami Paz, Joel Rybicki, Stefan Schmid, Jukka Suomela (DISC, 2021) ↗
Building Blocks for Flexible Functional Safety in Discrete Manufacturing and Process Industries Anselm Klose, Florian Pelzer, Dieter Etz, Diana Strutzenberger, Thomas Frühwirth, Wolfgang Kastner, Leon Urbas (2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2021) ↗
CBNet - Minimizing Adjustments in Concurrent Demand-Aware Tree Networks. Otavio Augusto de Oliveira Souza, Olga Goussevskaia, Stefan Schmid (IPDPS, 2021) ↗
Clustering Refinement Félix Iglesias, Tanja Zseby, Arthur Zimek (2021) ↗
Communication and container reconfiguration for cyber-physical production systems Patrick Denzler, Daniel Ramsauer, Thomas Preindl, Wolfgang Kastner (2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2021) ↗
Compactness of Hashing Modes and Efficiency Beyond Merkle Tree Elena Andreeva, Rishiraj Bhattacharyya, Arnab Roy (Springer, 2021) ↗
Cross-Layer Deanonymization Methods in the Lightning Protocol Matteo Romiti, Friedhelm Victor, Pedro Moreno-Sanchez, Peter Sebastian Nordholt, Bernhard Haslhofer, Matteo Maffei (Springer Verlag, 2021) ↗
Demand Matrix Optimization for Offchain Payments in Blockchain. Julia Khamis, Stefan Schmid, Ori Rottenstreich (IEEE ICBC, 2021) ↗
Demand-Aware Plane Spanners of Bounded Degree. Esra Ceylan, Klaus-Tycho Foerster, Stefan Schmid, Katsiaryna Zaitsava (Networking, 2021) ↗
Detection of Misconfigurations in Power Distribution Grids using Deep Learning David Fellner, Thomas I. Strasser, Wolfgang Kastner (2021 International Conference on Smart Energy Systems and Technologies (SEST), 2021) ↗
Determinacy in discrete-bidding infinite-duration games Milad Aghajohari, Guy Avni, Thomas Henzinger (2021) ↗
Differential monitoring Fabian Mühlböck, Thomas Henzinger (2021) ↗
Differential monitoring Fabian Mühlböck, Thomas Henzinger (2021) ↗
Differentially Private Algorithms for Graphs Under Continual Observation. Hendrik Fichtenberger, Monika Henzinger, Wolfgang Ost (ESA, 2021) ↗
Digital Transformation for Sustainable Development Goals (SDGs) - A Security, Safety and Privacy Perspective on AI. Andreas Holzinger, Edgar R. Weippl, A Min Tjoa, Peter Kieseberg (CD-MAKE, 2021) ↗
Dynamic Maintenance of Low-Stretch Probabilistic Tree Embeddings with Applications. Sebastian Forster, Gramoz Goranci, Monika Henzinger (SODA, 2021) ↗
Dynamic Set Cover - Improved Amortized and Worst-Case Update Time. Sayan Bhattacharya, Monika Henzinger, Danupon Nanongkai, Xiaowei Wu (SODA, 2021) ↗
Editorial for Special Issue on Block Chain Technology and its Applications. Paolo Mori, Wolfgang Prinz, Laura Ricci, Edgar R. Weippl (Pervasive Mob. Comput., 2021) ↗
Enabling Novel Interconnection Agreements with Path-Aware Networking Architectures. Simon Scherrer, Markus Legner, Adrian Perrig, Stefan Schmid (DSN, 2021) ↗
Experiences from Adjusting Industrial Software for Worst-Case Execution Time Analysis Patrick Denzler, Thomas Frühwirth, Andreas Kirchberger, Martin Schoeberl, Wolfgang Kastner (2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC), 2021) ↗
Fast ReRoute on Programmable Switches. Marco Chiesa, Roshan Sedar, Gianni Antichi, Michael Borokhovich, Andrzej Kamisinski, Georgios Nikolaidis, Stefan Schmid (IEEE/ACM Trans. Netw., 2021) ↗
Faster Algorithms for Bounded Liveness in Graphs and Game Graphs. Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil (ICALP, 2021) ↗
Fix with P6 - Verifying Programmable Switches at Runtime. Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, Anja Feldmann (INFOCOM, 2021) ↗
Formal Methods for the Security Analysis of Smart Contracts Matteo Maffei (2021) ↗
Fully Dynamic k-Center Clustering in Low Dimensional Metrics. Gramoz Goranci, Monika Henzinger, Dariusz Leniowski, Christian Schulz, Alexander Svozil (ALENEX, 2021) ↗
Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi (Asiacrypt 2021, the 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, 2021) ↗
Grafting Arborescences for Extra Resilience of Fast Rerouting Schemes. Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan (INFOCOM, 2021) ↗
Grafting key trees: Efficient key management for overlapping groups Joel Alwen, Benedikt Auerbach, Mirza Baig, Miguel Cueto Noval, Karen Klein, Guillermo Pascual Perez, Krzysztof Pietrzak, Michael Walter (2021) ↗
Human Control of Self-Organizing Safety Systems. Dieter Etz, Wolfgang Kastner (SA, 2021) ↗
Induction with Recursive Definitions in Superposition Marton Hajdu, Petra Hozzova, Laura Kovacs, Andrei Voronkov (Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021, 2021) ↗
Inductive Benchmarks for Automated Reasoning Marton Hajdu, Petra Hozzova, Laura Kovacs, Johannes Schoisswohl, Andrei Voronkov (2021) ↗
Inductive Benchmarks for Automated Reasoning. Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov (CICM, 2021) ↗
Infinite time horizon safety of Bayesian neural networks Mathias Lechner, Ðorđe Žikelić, Krishnendu Chatterjee, Thomas Henzinger (2021) ↗
Input-Dynamic Distributed Algorithms for Communication Networks. Klaus-Tycho Foerster, Janne H. Korhonen, Ami Paz, Joel Rybicki, Stefan Schmid (Proc. ACM Meas. Anal. Comput. Syst., 2021) ↗
Input-Dynamic Distributed Algorithms for Communication Networks. Klaus-Tycho Foerster, Janne H. Korhonen, Ami Paz, Joel Rybicki, Stefan Schmid (SIGMETRICS, 2021) ↗
Integer Induction in Saturation Petra Hozzova, Laura Kovacs, Andrei Voronkov (2021) ↗
Integer Induction in Saturation. Petra Hozzová, Laura Kovács, Andrei Voronkov (CADE, 2021) ↗
Interpolation Cryptanalysis of Unbalanced Feistel Networks with Low Degree Round Functions Elena Andreeva, Arnab Roy, Jan Ferdinand Sauer (Springer, 2021) ↗
Into the unknown: active monitoring of neural networks Anna Lukina, Christian Schilling, Thomas Henzinger (2021) ↗
Inverse-Sybil attacks in automated contact tracing Benedikt Auerbach, Suvradip Chakraborty, Karen Klein, Guillermo Pascual Perez, Krzysztof Pietrzak, Michael Walter, Michelle Yeo (2021) ↗
Is Arduino a suitable platform for sensor nodes? Dominik Widhalm, Karl M. Goeschka, Wolfgang Kastner (47th Annual Conference of the IEEE Industrial Electronics Society (IECON 2021), 2021) ↗
It's Good to Relax - Fast Profit Approximation for Virtual Networks with Latency Constraints. Robin Münk, Matthias Rost, Harald Räcke, Stefan Schmid (Networking, 2021) ↗
Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement Karen Klein, Guillermo Pascual Perez, Michael Walter, Chethan Kamath Hosdurg, Margarita Capretto, Miguel Cueto Noval, Ilia Markov, Michelle Yeo, Joel Alwen, Krzysztof Pietrzak (2021) ↗
LightPIR - Privacy-Preserving Route Discovery for Payment Channel Networks. Krzysztof Pietrzak, Iosif Salem, Stefan Schmid, Michelle Yeo (Networking, 2021) ↗
LightPIR: Privacy-preserving route discovery for payment channel networks Krzysztof Pietrzak, Iosif Salem, Stefan Schmid, Michelle Yeo (2021) ↗
Limits on the Adaptive Security of Yao’s Garbling Chethan Kamath Hosdurg, Karen Klein, Krzysztof Pietrzak, Daniel Wichs (2021) ↗
Long lived transients in gene regulation Tatjana Petrov, Claudia Igler, Ali Sezgin, Thomas Henzinger, Calin Guet (2021) ↗
MLComp - A Methodology for Machine Learning-based Performance Estimation and Adaptive Selection of Pareto-Optimal Compiler Optimization Sequences. Alessio Colucci, Dávid Juhász, Martin Mosbeck, Alberto Marchisio, Semeen Rehman, Manfred Kreutzer, Günther Nadbath, Axel Jantsch, Muhammad Shafique (DATE, 2021) ↗
Modeling Data with Observers Fares Meghdouri, Félix Iglesias Vázquez, Tanja Zseby (2021) ↗
Modelling protocol gateways for cyber-physical systems using Architecture Analysis & Design Language Patrick Denzler, Daniel Scheuchenstuhl, Daniel Ramsauer, Wolfgang Kastner (CIRP CMS 2021 - 54th CIRP Conference on Manufacturing Systems 2021, 2021) ↗
New Techniques and Fine-Grained Hardness for Dynamic Near-Additive Spanners. Thiago Bergamaschi, Monika Henzinger, Maximilian Probst Gutenberg, Virginia Vassilevska Williams, Nicole Wein (SODA, 2021) ↗
Node Classification and Geographical Analysis of the Lightning Cryptocurrency Network. Philipp Zabka, Klaus-Tycho Förster, Stefan Schmid, Christian Decker (ICDCN, 2021) ↗
Node-level indicators of soft faults in wireless sensor networks Dominik Widhalm, Karl M. Goeschka, Wolfgang Kastner (40st International Symposium on Reliable Distributed Systems, SRDS 2021, 2021) ↗
Nonce-Misuse Security of the SAEF Authenticated Encryption Mode Elena Andreeva, Amit Singh Bhati, Damian Vizár (Springer, 2021) ↗
On Satisficing in Quantitative Games. Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi (TACAS, 2021) ↗
On the Complexity of Weight-Dynamic Network Algorithms. Monika Henzinger, Ami Paz, Stefan Schmid (Networking, 2021) ↗
On the Feasibility of Perfect Resilience with Local Fast Failover. Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan (APOCS, 2021) ↗
On the Usability of Authenticity Checks for Hardware Security Tokens Katharina Pfeffer, Alexandra Mai, Adrian Dabrowski, Matthias Gusenbauer, Philipp Schindler, Edgar Weippl, Michael Franz, Katharina Krombholz (2021) ↗
On treewidth, separators and Yao's garbling Chethan Kamath Hosdurg, Karen Klein, Krzysztof Pietrzak (2021) ↗
On treewidth, separators and Yao’s garbling Chethan Kamath Hosdurg, Karen Klein, Krzysztof Pietrzak (2021) ↗
Online Balanced Repartitioning of Dynamic Communication Patterns in Polynomial Time. Tobias Forner, Harald Räcke, Stefan Schmid (APOCS, 2021) ↗
Ontology-Based Security Requirements Framework for Current and Future Vehicles Abdelkader Magdy, Christoph Schmittner, Thomas Gruber, A. Mohamed, Gerald Quirchmayr, Erich Schikuta (2021) ↗
Optimal Online Balanced Graph Partitioning. Maciej Pacut, Mahmoud Parham, Stefan Schmid (INFOCOM, 2021) ↗
Optimal Virtual Network Embeddings for Tree Topologies. Aleksander Figiel, Leon Kellerhals, Rolf Niedermeier, Matthias Rost, Stefan Schmid, Philipp Zschoche (SPAA, 2021) ↗
Optimal strategies for selecting coordinators. Martin Zeiner, Ulrich Schmid, Krishnendu Chatterjee (Discret. Appl. Math., 2021) ↗
Optimized Software Implementations for the Lightweight Encryption Scheme ForkAE Elena Andreeva, Arne Deprez, Jose Maria Bermudo Mera, Angshuman Karmakar, Antoon Purnal (Springer, 2021) ↗
P4Fuzz - Compiler Fuzzer forDependable Programmable Dataplanes. Andrei-Alexandru Agape, Madalin Claudiu Danceanu, René Rydhof Hansen, Stefan Schmid (ICDCN, 2021) ↗
Pay to Win - Cheap, Cross-Chain Bribing Attacks on PoW Cryptocurrencies. Aljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gazi, Sarah Meiklejohn, Edgar R. Weippl (Financial Cryptography Workshops, 2021) ↗
Polynomial reachability witnesses via Stellensätze. Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi (PLDI, 2021) ↗
Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei (International Conference on Financial Cryptography and Data Security (FC), 2021) ↗
Proving non-termination by program reversal. Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic (PLDI, 2021) ↗
Quantitative analysis of assertion violations in probabilistic programs. Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady (PLDI, 2021) ↗
Quantitative and Approximate Monitoring. Thomas A. Henzinger, N. Ege Saraç (LICS, 2021) ↗
Quantitative and approximate monitoring Thomas Henzinger, Naci Sarac (2021) ↗
RandRunner: Distributed Randomness fromTrapdoor VDFs with Strong Uniqueness Philipp Schindler, Aljosha Judmayer, Markus Hittmeir, Nicholas Stifter, Edgar Weippl (2021) ↗
Randomized Local Fast Rerouting for Datacenter Networks with Almost Optimal Congestion. Gregor Bankhamer, Robert Elsässer, Stefan Schmid (DISC, 2021) ↗
ReNets - Statically-Optimal Demand-Aware Networks. Chen Avin, Stefan Schmid (APOCS, 2021) ↗
Reactive Key-Loss Protection in Blockchains. Sam Blackshear, Konstantinos Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Eleftherios Kokoris-Kogias, Joshua Lind, David Wong, Tim Zakian (Financial Cryptography Workshops, 2021) ↗
Resilient Capacity-Aware Routing. Stefan Schmid, Nicolas Schnepf, Jirí Srba (TACAS, 2021) ↗
Safety und Security Wolfgang Kastner, Thilo Sauter (2021) ↗
Safety und Security – ein Spannungsfeld in der industriellen Praxis Siegfried Hollerer, Wolfgang Kastner, Thilo Sauter (2021) ↗
Scalable verification of quantized neural networks Thomas Henzinger, Mathias Lechner, Dorde Zikelic (2021) ↗
Scheduling Opportunistic Links in Two-Tiered Reconfigurable Datacenters. Janardhan Kulkarni, Stefan Schmid, Pawel Schmidt (SPAA, 2021) ↗
SecTULab: A Moodle-Integrated Secure Remote Access Architecture for Cyber Security Laboratories Joachim Fabini, Alexander Hartl, Fares Meghdouri, Claudia Breitenfellner, Tanja Zseby (The 16th International Conference on Availability, Reliability and Security (ARES 2021), 2021) ↗
Secure Internal Data Markets. Peter Kieseberg, Sebastian Schrittwieser, Edgar R. Weippl (Future Internet, 2021) ↗
Security, Trust and Privacy - Challenges for Community-Oriented ICT Support. Gerald Quirchmayr (I4CS, 2021) ↗
Security, Trust and Privacy: Challenges for Community-Oriented ICT Support Gerald Quirchmayr (2021) ↗
Semantic Microservice Framework for Digital Twins Gernot Steindl, Wolfgang Kastner (2021) ↗
Shedding Light in the Tunnel: Counting Flows in Encrypted Network Traffic Fares Meghdouri, Felix Iglesias Vazquez, Tanja Zseby (21st IEEE International Conference on Data Mining, 2021) ↗
SoK - Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies. Aljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gazi, Sarah Meiklejohn, Edgar R. Weippl (Financial Cryptography Workshops, 2021) ↗
SoK - Automatic Deobfuscation of Virtualization-protected Applications. Patrick Kochberger, Sebastian Schrittwieser, Stefan Schweighofer, Peter Kieseberg, Edgar R. Weippl (ARES, 2021) ↗
Solving Partially Observable Stochastic Shortest-Path Games. Petr Tomásek, Karel Horák, Aditya Aradhye, Branislav Bosanský, Krishnendu Chatterjee (IJCAI, 2021) ↗
Stateless Model Checking Under a Reads-Value-From Equivalence. Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman (CAV, 2021) ↗
Static Timing Analysis of OPC UA PubSub Patrick Denzler, Thomas Frühwirth, Andreas Kirchberger, Martin Schoeberl, Wolfgang Kastner (2021 17th IEEE International Conference on Factory Communication Systems (WFCS), 2021) ↗
Stochastic Processes with Expected Stopping Time. Krishnendu Chatterjee, Laurent Doyen (LICS, 2021) ↗
Studying Bitcoin Privacy Attacks and Their Impact on Bitcoin-Based Identity Methods Simin Ghesmati, Walid Fdhila, Edgar Weippl (2021) ↗
Subverting Counter Mode Encryption for Hidden Communication in High-Security Infrastructures Alexander Hartl, Joachim Fabini, Christoph Roschger, Peter Eder-Neuhauser, Marco Petrovic, Roman Tobler, Tanja Zseby (The 16th International Conference on Availability, Reliability and Security (ARES 2021), 2021) ↗
Summing up Smart Transitions Neta Elad, Sophie Rain, Neil Immerman, Mooly Sagiv, Laura Kovacs (33rd International Conference on Computer Aided Verification (CAV), 2021) ↗
Survey on Blockchain Networking - Context, State-of-the-Art, Challenges. Maya Dotan, Yvonne-Anne Pignolet, Stefan Schmid, Saar Tochner, Aviv Zohar (ACM Comput. Surv., 2021) ↗
Symbolic Time and Space Tradeoffs for Probabilistic Verification. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil (LICS, 2021) ↗
Synthesis of hybrid automata with affine dynamics from time-series data Miriam Garcia Soto, Thomas Henzinger, Christian Schilling (2021) ↗
Tarnhelm: Isolated, Transparent & Confidential Execution of Arbitrary Code in ARM's TrustZone Davide Quarta, Michele Ianni, Aravind Machiry, Yanick Fratantonio, Eric Gustafson, Davide Balzarotti, Martina Lindorfer, Giovanni Vigna, Christopher Kruegel (ACM, 2021) ↗
The Future of Information Systems in a Post-COVID World by TC8 (Information Systems). Isabel Ramos, Dale Mackrell, Alta van der Merwe, Jan Pries-Heje, Jolita Ralyté, Janis Stirna, John Krogstie, Matthew Jones, Benjamin Mueller, Frédéric Adam, Bettina Jaber, Edgar R. Weippl, Marijn Janssen, Amany Elbanna, Banita Lal, Pierluigi Plebani, Allen C. Johnston, Li Da Xu (IFIP's Exciting First 60+ Years, 2021) ↗
The Need for a Collaborative Approach to Cyber Security Education Gregor Langner, Jerry Andriessen, Gerald Quirchmayr, Steven Furnell, Vittorio Scarano, Teemu Tokola (2021) ↗
The One-More Discrete Logarithm Assumption in the Generic Group Model Balthazar Bauer, Georg Fuchsbauer, Antoine Plouviez (2021) ↗
The Probabilistic Termination Tool Amber Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács (FM 2021: the 24th international symposium of Formal Methods, 2021) ↗
The Programmable Data Plane - Abstractions, Architectures, Algorithms, and Applications. Oliver Michel, Roberto Bifulco, Gábor Rétvári, Stefan Schmid (ACM Comput. Surv., 2021) ↗
The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches Marco Squarcina, Stefano Calzavara, Matteo Maffei (15th IEEE Workshop on Offensive Technologies, 2021) ↗
The cost of adaptivity in security games on graphs Chethan Kamath Hosdurg, Karen Klein, Krzysztof Pietrzak, Michael Walter (2021) ↗
The cost of adaptivity in security games on graphs Chethan Kamath Hosdurg, Karen Klein, Krzysztof Pietrzak, Michael Walter (2021) ↗
Tight Bounds for Online Graph Partitioning. Monika Henzinger, Stefan Neumann, Harald Räcke, Stefan Schmid (SODA, 2021) ↗
Toward Self-Adjusting Networks for the Matching Model. Evgeniy Feder, Ichha Rathod, Punit Shyamsukha, Robert Sama, Vitaly Aksenov, Iosif Salem, Stefan Schmid (SPAA, 2021) ↗
Towards Adding Safety and Security Properties to the Industry 4.0 Asset Administration Shell. Ali Mohammad Hosseini, Thilo Sauter, Wolfgang Kastner (WFCS, 2021) ↗
Towards a Threat Modeling Approach Addressing Security and Safety in OT Environments Siegfried Hollerer, Wolfgang Kastner, Thilo Sauter (2021 17th IEEE International Conference on Factory Communication Systems (WFCS), 2021) ↗
Transferable E-Cash: A Cleaner Model and the First Practical Instantiation Balthazar Bauer, Georg Fuchsbauer, Chen Qian (2021) ↗
Transforming OPC UA Information Models into Domain-Specific Ontologies Gernot Steindl, Wolfgang Kastner (4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), 2021) ↗
Trojan-resilience without cryptography Suvradip Chakraborty, Stefan Dziembowski, Małgorzata Gałązka, Tomasz Lizurej, Krzysztof Pietrzak, Michelle Yeo (2021) ↗
Tunnelling and Mirroring Operational Technology Data with IP-based Middlewares Patrick Denzler, Daniel Ramsauer, Wolfgang Kastner (2021 22nd IEEE International Conference on Industrial Technology (ICIT), 2021) ↗
Unnecessary Input Heuristics and PayJoin Transactions. Simin Ghesmati, Andreas Kern, Aljosha Judmayer, Nicholas Stifter, Edgar R. Weippl (HCI, 2021) ↗
Upper and Lower Bounds for Fully Retroactive Graph Problems. Monika Henzinger, Xiaowei Wu (WADS, 2021) ↗
Virtual Knowledge Graphs for Federated Log Analysis Kabul Kurniawan, Andreas Ekelhart, Elmar Kiesling, Dietmar Winkler, Gerald Quirchmayr, A Tjoa (2021) ↗
Virtual Knowledge Graphs for Federated Log Analysis Kabul Kurniawan, Andreas Ekelhart, Elmar Kiesling, Dietmar Winkler, Gerald Quirchmayr, A Tjoa (2021) ↗
Virtual Knowledge Graphs for Federated Log Analysis. Kabul Kurniawan, Andreas Ekelhart, Elmar Kiesling, Dietmar Winkler, Gerald Quirchmayr, A Min Tjoa (ARES, 2021) ↗
2020
A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network Sergei Tikhomirov, Pedro Moreno-Sanchez, Matteo Maffei (IEEE Security & Privacy On The Blockchain, 2020) ↗
A Survey of Bidding Games on Graphs (Invited Paper). Guy Avni, Thomas A. Henzinger (CONCUR, 2020) ↗
A survey of bidding games on graphs Guy Avni, Thomas Henzinger (2020) ↗
ACM SIGMETRICS International Workshop on Distributed Cloud Computing (DCC). Andrea Araldo, Ivona Brandic, Stefan Schmid (SIGMETRICS Perform. Evaluation Rev., 2020) ↗
AalWiNes - a fast and quantitative what-if analysis tool for MPLS networks. Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jirí Srba (CoNEXT, 2020) ↗
Actively Probing Routes for Tor AS-Level Adversaries with RIPE Atlas. Wilfried Mayer, Georg Merzdovnik, Edgar R. Weippl (SEC, 2020) ↗
AirNet - Energy-Aware Deployment and Scheduling of Aerial Networks. Elif Bozkaya, Klaus-Tycho Foerster, Stefan Schmid, Berk Canberk (IEEE Trans. Veh. Technol., 2020) ↗
Algebra-Based Loop Synthesis Andreas Humenberger, Nikolaj Bjørner, Laura Kovacs (Proceedings of the 16th International Conference on Integrated Formal Methods (iFM), 2020) ↗
An Information Flow Modelling Approach for Critical Infrastructure Simulation Denise Gall, Christian Luidold, Gregor Langner, Thomas Schaberreiter, Gerald Quirchmayr (2020) ↗
Analysis of Bayesian Networks via Prob-Solvable Loops Ezio Bartocci, Laura Kovács, Miroslav Stankovič (Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing, 2020) ↗
Analysis of Design Phase Processes with BIM for Blockchain Implementation Marijana Sreckovic, Goran Sibenik, Thomas Preindl, Wolfgang Kastner, Dominik Breitfuss (2020) ↗
Anomaly Detection for Mixed Packet Sequences. Fares Meghdouri, Félix Iglesias Vázquez, Tanja Zseby (LCN Symposium, 2020) ↗
Approximating Values of Generalized-Reachability Stochastic Games. Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler (LICS, 2020) ↗
Are Network Attacks Outliers? A Study of Space Representations and Unsupervised Algorithms Félix Iglesias, Alexander Hartl, Tanja Zseby, Arthur Zimek (MLCS Workshop on Machine Learning for CyberSecurity, ECMLPKDD, 2020) ↗
Asynchronous Distributed Key Generation for Computationally-Secure Randomness, Consensus, and Threshold Signatures. Eleftherios Kokoris-Kogias, Dahlia Malkhi, Alexander Spiegelman (CCS, 2020) ↗
Automated Ontology-Based Security Requirements Identification for the Vehicular Domain Abdelkader Shaaban, Christoph Schmittner, Thomas Gruber, A. Mohamed, Gerald Quirchmayr, Erich Schikuta (2020) ↗
Automated Security Risk Identification Using AutomationML-based Engineering Data Matthias Eckhart, Andreas Ekelhart, Edgar Weippl (2020) ↗
A Classification of Computational Assumptions in the Algebraic Group Model Balthazar Bauer, Georg Fuchsbauer, Julian Loss (2020) ↗
Blind Schnorr Signatures and Signed ElGamal Encryption in the Algebraic Group Model Georg Fuchsbauer, Antoine Plouviez, Yannick Seurin (2020) ↗
Brief Announcement - Deterministic Lower Bound for Dynamic Balanced Graph Partitioning. Maciej Pacut, Mahmoud Parham, Stefan Schmid (PODC, 2020) ↗
Brief Announcement - What Can(Not) Be Perfectly Rerouted Locally. Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan (DISC, 2020) ↗
CALYPSO - Private Data Management for Decentralized Ledgers. Eleftherios Kokoris-Kogias, Enis Ceyhun Alp, Linus Gasser, Philipp Jovanovic, Ewa Syta, Bryan Ford (Proc. VLDB Endow., 2020) ↗
Chameleon - predictable latency and high utilization with queue-aware and adaptive source routing. Amaury Van Bemten, Nemanja Deric, Amir Varasteh, Stefan Schmid, Carmen Mas Machuca, Andreas Blenk, Wolfgang Kellerer (CoNEXT, 2020) ↗
Conic Formation in Presence of Faulty Robots. Debasish Pattanayak, Klaus-Tycho Foerster, Partha Sarathi Mandal, Stefan Schmid (ALGOSENSORS, 2020) ↗
Constant-Time Dynamic (Δ+1)-Coloring. Monika Henzinger, Pan Peng (STACS, 2020) ↗
Creating Character-based Templates for Log Data to Enable Security Event Classification Markus Wurzenberger, Georg Höld, Max Landauer, Florian Skopic, Wolfgang Kastner (15th ACM ASIA Conference on Computer and Communications Security, 2020) ↗
Cross-Domain Risk Analysis to Strengthen City Resilience: the ODYSSEUS Approach Stefan Schauer, Stefan Rass, Sandra K{\"o}nig, Klaus Steinnocher, Thomas Schaberreiter, Gerald Quirchmayr (2020) ↗
Cross-Layer Profiling of Encrypted Network Data for Anomaly Detection. Fares Meghdouri, Félix Iglesias Vázquez, Tanja Zseby (DSAA, 2020) ↗
Deadline-Aware Multicast Transfers in Software-Defined Optical Wide-Area Networks. Long Luo, Klaus-Tycho Foerster, Stefan Schmid, Hongfang Yu (IEEE J. Sel. Areas Commun., 2020) ↗
Delayed authentication: Preventing replay and relay attacks in private contact tracing Krzysztof Pietrzak (2020) ↗
Demand-aware network designs of bounded degree. Chen Avin, Kaushik Mondal, Stefan Schmid (Distributed Comput., 2020) ↗
Deterministic Dynamic Matching in O(1) Update Time. Sayan Bhattacharya, Deeparnab Chakrabarty, Monika Henzinger (Algorithmica, 2020) ↗
Double-Authentication-Preventing Signatures in the Standard Model Dario Catalano, Georg Fuchsbauer, Azam Soleimanian (2020) ↗
Dynamic Approximate Maximum Independent Set of Intervals, Hypercubes and Hyperrectangles. Monika Henzinger, Stefan Neumann, Andreas Wiese (SoCG, 2020) ↗
Dynamic Balanced Graph Partitioning. Chen Avin, Marcin Bienkowski, Andreas Loukas, Maciej Pacut, Stefan Schmid (SIAM J. Discret. Math., 2020) ↗
Dynamic Clustering to Minimize the Sum of Radii. Monika Henzinger, Dariusz Leniowski, Claire Mathieu (Algorithmica, 2020) ↗
Dynamic Matching Algorithms in Practice. Monika Henzinger, Shahbaz Khan, Richard Paul, Christian Schulz (ESA, 2020) ↗
Dynamic resource allocation games Guy Avni, Thomas Henzinger, Orna Kupferman (2020) ↗
Dynamically Optimal Self-adjusting Single-Source Tree Networks. Chen Avin, Kaushik Mondal, Stefan Schmid (LATIN, 2020) ↗
EagerNet: Early Predictions of Neural Networks for Computationally Efficient Intrusion Detection Fares Meghdouri, Maximilian Bachl, Tanja Zseby (2020 4th Cyber Security in Networking Conference (CSNet), 2020) ↗
Editorial - Special issue on security and privacy in smart cyber-physical systems. Lotfi Ben Othmane, Doug Jacobson, Edgar R. Weippl (Comput. Secur., 2020) ↗
Efficient Signatures on Randomizable Ciphertexts Balthazar Bauer, Georg Fuchsbauer (2020) ↗
Efficient non-segregated routing for reconfigurable demand-aware networks. Thomas Fenz, Klaus-Tycho Foerster, Stefan Schmid, Anaïs Villedieu (Comput. Commun., 2020) ↗
Explainability and Adversarial Robustness for RNNs Alexander Hartl, Maximilian Bachl, Joachim Fabini, Tanja Zseby (The Sixth IEEE International Conference on Big Data Computing Service and Machine Learning Applications, 2020) ↗
FaDec - A Fast Decision-based Attack for Adversarial Machine Learning. Faiq Khalid, Hassan Ali, Muhammad Abdullah Hanif, Semeen Rehman, Rehan Ahmed, Muhammad Shafique (IJCNN, 2020) ↗
Fast Dynamic Cuts, Distances and Effective Resistances via Vertex Sparsifiers. Li Chen, Gramoz Goranci, Monika Henzinger, Richard Peng, Thatchaphol Saranurak (FOCS, 2020) ↗
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis (ATVA, 2020) ↗
Faster Fully Dynamic Transitive Closure in Practice. Kathrin Hanauer, Monika Henzinger, Christian Schulz (SEA, 2020) ↗
Finding All Global Minimum Cuts in Practice. Monika Henzinger, Alexander Noe, Christian Schulz, Darren Strash (ESA, 2020) ↗
Flexible Safety Systems for Smart Manufacturing Dieter Etz, Thomas Frühwirth, Wolfgang Kastner (25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020) ↗
Formal methods with a touch of magic Par Alamdari, Guy Avni, Thomas Henzinger, Anna Lukina (2020) ↗
Formalizing Graph Trail Properties in Isabelle/HOL Laura Kovács, Hanna Lachnitt, Stefan Szeider (International Conference on Intelligent Computer Mathematics (CICM), 2020) ↗
Fully Dynamic Single-Source Reachability in Practice - An Experimental Study. Kathrin Hanauer, Monika Henzinger, Christian Schulz (ALENEX, 2020) ↗
Fully-Dynamic Coresets. Monika Henzinger, Sagar Kale (ESA, 2020) ↗
Generic Digital Twin Architecture for Industrial Energy Systems Gernot Steindl, Martin Stagl, Lukas Kasper, Wolfgang Kastner, Rene Hofmann (2020) ↗
Guest Editorial Leveraging Machine Learning in SDN/NFV-Based Networks. David S. L. Wei, Kaiping Xue, Roberto Bruschi, Stefan Schmid (IEEE J. Sel. Areas Commun., 2020) ↗
Hasspostings - Eine Gratwanderung zwischen freier Meinungs{\"a}u{\ss}erung und Kriminalit{\"a}t Bettina Pospisil, Edith Huber, Bettina Biron, Gerald Quirchmayr, Gerhard Backfried (2020) ↗
How many bits does it take to quantize your neural network? Mirco Giacobbe, Thomas Henzinger, Mathias Lechner (2020) ↗
HydRand - Efficient Continuous Distributed Randomness. Philipp Schindler, Aljosha Judmayer, Nicholas Stifter, Edgar R. Weippl (IEEE Symposium on Security and Privacy, 2020) ↗
HydRand: Practical Continuous Distributed Randomness Philipp Schindler, Aljosha Judmayer, Nicholas Stifter, Edgar Weippl (2020) ↗
Improved Guarantees for Vertex Sparsification in Planar Graphs. Gramoz Goranci, Monika Henzinger, Pan Peng (SIAM J. Discret. Math., 2020) ↗
Incentivizing Stable Path Selection in Future Internet Architectures. Simon Scherrer, Markus Legner, Adrian Perrig, Stefan Schmid (SIGMETRICS Perform. Evaluation Rev., 2020) ↗
Incentivizing stable path selection in future Internet architectures. Simon Scherrer, Markus Legner, Adrian Perrig, Stefan Schmid (Perform. Evaluation, 2020) ↗
Induction with Generalization in Superposition Reasoning Márton Hajdú, Petra Hozzova, Laura Kovacs, Johannes Schoisswohl, Andrei Voronkov (2020) ↗
Induction with Generalization in Superposition Reasoning. Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov (CICM, 2020) ↗
Inductive sequentialization of asynchronous programs Bernhard Kragl, Constantin Enea, Thomas Henzinger, Suha Mutluergil, Shaz Qadeer (2020) ↗
Inter-Datacenter Bulk Transfers - Trends and Challenges. Long Luo, Hongfang Yu, Klaus-Tycho Foerster, Max Noormohammadpour, Stefan Schmid (IEEE Netw., 2020) ↗
Interpretability and Refinement of Clustering. Félix Iglesias Vázquez, Tanja Zseby, Arthur Zimek (DSAA, 2020) ↗
LFQ: Online Learning of Per-flow Queuing Policies using Deep Reinforcement Learning Maximilian Bachl, Joachim Fabini, Tanja Zseby (45th IEEE Conference on Local Computer Networks (LCN), 2020) ↗
Language-Based Web Session Integrity Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta (IEEE Computer Security Foundations Symposium, 2020) ↗
Latte - Improving the Latency of Transiently Consistent Network Update Schedules. Niels Christensen, Mark Glavind, Stefan Schmid, Jirí Srba (SIGMETRICS Perform. Evaluation Rev., 2020) ↗
Limits on amplifiers of natural selection under death-Birth updating. Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak (PLoS Comput. Biol., 2020) ↗
Load-Optimization in Reconfigurable Networks - Algorithms and Complexity of Flow Routing. Wenkai Dai, Klaus-Tycho Foerster, David Fuchssteiner, Stefan Schmid (SIGMETRICS Perform. Evaluation Rev., 2020) ↗
Local Flow Partitioning for Faster Edge Connectivity. Monika Henzinger, Satish Rao, Di Wang (SIAM J. Comput., 2020) ↗
MDCStream Félix Iglesias, Denis Ojdanic, Alexander Hartl, Tanja Zseby (EAI Valuetools 2020, 2020) ↗
Maximally Resilient Replacement Paths for a Family of Product Graphs. Mahmoud Parham, Klaus-Tycho Foerster, Petar Kosic, Stefan Schmid (OPODIS, 2020) ↗
Metaheuristic Simulation-based Production Planning for Energy Efficiency: A Case Study Bernhard Heinzl, Wolfgang Kastner (2020) ↗
Model-Based Virtual Components in Event-Based Controls: Linking the FMI and IEC 61499 Michael H. Spiegel, Edmund Widl, Bernhard Heinzl, Wolfgang Kastner, Nabil Akroud (2020) ↗
Modus Operandi in Cybercrime Bettina Pospisil, Edith Huber, Gerald Quirchmayr, Walter Seboeck (2020) ↗
Monitorability under assumptions Thomas Henzinger, Naci Sarac (2020) ↗
Monitoring Event Frequencies. Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl (CSL, 2020) ↗
Monitoring event frequencies Thomas Ferrere, Thomas Henzinger, Bernhard Kragl (2020) ↗
Mora - Automatic Generation of Moment-Based Invariants Ezio Bartocci, Laura Kovács, Miroslav Stankovič (Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020) ↗
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop (CONCUR, 2020) ↗
Multi-dimensional long-run average problems for vector addition systems with states Krishnendu Chatterjee, Thomas Henzinger, Jan Otop (2020) ↗
NTARC: A Data Model for the Systematic Review of Network Traffic Analysis Research Félix Iglesias, Daniel C. Ferreira, Gernot Vormayr, Maximilian Bachl, Tanja Zseby (2020) ↗
Neural circuit policies enabling auditable autonomy Mathias Lechner, Ramin Hasani, Alexander Amini, Thomas Henzinger, Daniela Rus, Radu Grosu (2020) ↗
On Search Friction of Route Discovery in Offchain Networks. Saar Tochner, Stefan Schmid (Blockchain, 2020) ↗
On the Complexity of Traffic Traces and Implications. Chen Avin, Manya Ghobadi, Chen Griner, Stefan Schmid (Proc. ACM Meas. Anal. Comput. Syst., 2020) ↗
On the Complexity of Traffic Traces and Implications. Chen Avin, Manya Ghobadi, Chen Griner, Stefan Schmid (SIGMETRICS, 2020) ↗
On the Hardness and Inapproximability of Virtual Network Embeddings. Matthias Rost, Stefan Schmid (IEEE/ACM Trans. Netw., 2020) ↗
Online Dynamic B-Matching - With Applications to Reconfigurable Datacenter Networks. Marcin Bienkowski, David Fuchssteiner, Jan Marcinkowski, Stefan Schmid (SIGMETRICS Perform. Evaluation Rev., 2020) ↗
Ontology-Based Model Identification of Industrial Energy Systems Gernot Steindl, Wolfgang Kastner (2020 IEEE 29th International Symposium on Industrial Electronics (ISIE), 2020) ↗
Open Monitoring Platform for Mobile Broadband Wolfgang Hofer, Philipp Svoboda, Wolfgang Kastner, Vaclav Raida, Markus Rupp (Online Conference 2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring), 2020) ↗
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis (ESOP, 2020) ↗
Outside the Box - Abstraction-Based Monitoring of Neural Networks. Thomas A. Henzinger, Anna Lukina, Christian Schilling (ECAI, 2020) ↗
Outside the box: Abstraction-based monitoring of neural networks Thomas Henzinger, Anna Lukina, Christian Schilling (2020) ↗
P4Consist - Toward Consistent P4 SDNs. Apoorv Shukla, Seifeddine Fathalli, Thomas Zinner, Artur Hecker, Stefan Schmid (IEEE J. Sel. Areas Commun., 2020) ↗
Polynomial invariant generation for non-deterministic recursive programs. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady (PLDI, 2020) ↗
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization Gergely Kovasznai, Krisztián Gajdár, Laura Kovacs (2020) ↗
Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. Andreas Pavlogiannis, Nico Schaumberger, Ulrich Schmid, Krishnendu Chatterjee (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020) ↗
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu (Proc. ACM Program. Lang., 2020) ↗
Refinement for structured concurrent programs Bernhard Kragl, Shaz Qadeer, Thomas Henzinger (2020) ↗
RoSCo - Robust Updates for Software-Defined Networks. James Lembke, Srivatsan Ravi, Patrick Eugster, Stefan Schmid (IEEE J. Sel. Areas Commun., 2020) ↗
Route Hijacking and DoS in Off-Chain Networks. Saar Tochner, Aviv Zohar, Stefan Schmid (AFT, 2020) ↗
SOK - cryptocurrency networking context, state-of-the-art, challenges. Maya Dotan, Yvonne-Anne Pignolet, Stefan Schmid, Saar Tochner, Aviv Zohar (ARES, 2020) ↗
SSCNets - Robustifying DNNs using Secure Selective Convolutional Filters. Hassan Ali, Faiq Khalid, Hammad Tariq, Muhammad Abdullah Hanif, Rehan Ahmed, Semeen Rehman (IEEE Des. Test, 2020) ↗
Semantics for Cyber-Physical Systems: A Cross-Domain Perspective Marta Sabou, Stefan Biffl, Alfred Einfalt, Lukas Krammer, Wolfgang Kastner, Fajar J. Ekaputra (2020) ↗
Shared-Memory Branch-and-Reduce for Multiterminal Cuts. Monika Henzinger, Alexander Noe, Christian Schulz (ALENEX, 2020) ↗
Simpler Constructions of Asymmetric Primitives from Obfuscation Pooya Farshim, Georg Fuchsbauer, Alain Passelègue (2020) ↗
Simplified Game of Life - Algorithms and Complexity. Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda (MFCS, 2020) ↗
SoK Dominik Widhalm, Karl M. Goeschka, Wolfgang Kastner (ARES'20: 15th International Conference on Availability, Reliability and Security, 2020) ↗
SparseIDS: Learning Packet Sampling with Reinforcement Learning Maximilian Bachl, Fares Meghdouri, Joachim Fabini, Tanja Zseby (IEEE SPC 2020 - Sixth Workshop on Security and Privacy in the Cloud (SPC), 2020) ↗
SplitCast - Optimizing Multicast Flows in Reconfigurable Datacenter Networks. Long Luo, Klaus-Tycho Foerster, Stefan Schmid, Hongfang Yu (INFOCOM, 2020) ↗
Stochastic Games with Lexicographic Reachability-Safety Objectives. Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler (CAV, 2020) ↗
Subsumption Demodulation in First-Order Theorem Proving Bernhard Gleiss, Laura Kovacs, Jakob Rath (10th International Joint Conference on Automated Reasoning (IJCAR), 2020) ↗
Superposition Reasoning about Quantified Bitvector Formulas David Damestani, Laura Kovacs, Martin Suda (2020) ↗
Survey on Algorithms for Self-stabilizing Overlay Networks. Michael Feldmann, Christian Scheideler, Stefan Schmid (ACM Comput. Surv., 2020) ↗
TXTing 101: Finding Security Issues in the Long Tail of DNS TXT Records Olivier van der Toorn, Roland van Rijswijk-Deij, Tobias Fiebig, Martina Lindorfer, Anna Sperotto (2020) ↗
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind, Markus Scherer, Matteo Maffei (International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020) ↗
The Value of Information in Selfish Routing. Simon Scherrer, Adrian Perrig, Stefan Schmid (SIROCCO, 2020) ↗
Toward Active and Passive Confidentiality Attacks on Cryptocurrency Off-chain Networks. Utz Nisslmueller, Klaus-Tycho Foerster, Stefan Schmid, Christian Decker (ICISSP, 2020) ↗
Toward Consistent SDNs - A Case for Network State Fuzzing. Apoorv Shukla, Said Jawad Saidi, Stefan Schmid, Marco Canini, Thomas Zinner, Anja Feldmann (IEEE Trans. Netw. Serv. Manag., 2020) ↗
Towards Consolidating Industrial Use Cases on a Common Fog Computing Platform Patrick Denzler, Jan Ruh, Marine Kadar, Cosmin Avasalcai, Wolfgang Kastner (25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2020) - Hybrid Conference, 2020) ↗
Towards Data-Driven Malfunctioning Detection in Public and Industrial Power Grids David Fellner, Helfried Brunner, Thomas I. Strasser, Wolfgang Kastner (2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020) ↗
Trace Logic for Inductive Loop Reasoning Pamina Georgiou, Bernhard Gleiss, Laura Kovacs (2020) ↗
Vienna Graph Clustering. Sonja Biedermann, Monika Henzinger, Christian Schulz, Bernhard Schuster (Protein-Protein Interaction Networks, 2020) ↗
Walking Through Waypoints. Saeed Akhoondian Amiri, Klaus-Tycho Foerster, Stefan Schmid (Algorithmica, 2020) ↗
Why are My Flows Different? A Tutorial on Flow Exporters Gernot Vormayr, Joachim Fabini, Tanja Zseby (2020) ↗
Working Set Theorems for Routing in Self-Adjusting Skip List Networks. Chen Avin, Iosif Salem, Stefan Schmid (INFOCOM, 2020) ↗
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei (ACM Conference on Computer and Communications Security (CCS), 2020) ↗
2019
A Constant Approximation for Maximum Throughput Multicommodity Routing And Its Application to Delay-Tolerant Network Scheduling. Mengxue Liu, Andréa W. Richa, Matthias Rost, Stefan Schmid (INFOCOM, 2019) ↗
A Deamortization Approach for Dynamic Spanner and Dynamic Maximal Matching. Aaron Bernstein, Sebastian Forster, Monika Henzinger (SODA, 2019) ↗
A Model-Driven and Ontology-based Engineering Approach for Smart Grid Automation Applications Claudia Zanabria, Filip Prostl Andren, Thomas I. Strasser, Wolfgang Kastner (IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, 2019) ↗
A New Deterministic Algorithm for Dynamic Set Cover. Sayan Bhattacharya, Monika Henzinger, Danupon Nanongkai (FOCS, 2019) ↗
A Quantitative Evaluation of Trust in the Quality of Cyber Threat Intelligence Sources. Thomas Schaberreiter, Veronika Kupfersberger, Konstantinos Rantos, Arnolnt Spyros, Alexandros Papanikolaou, Christos Ilioudis, Gerald Quirchmayr (ARES, 2019) ↗
A Versatile Security Layer for AutomationML. Bernhard Brenner, Edgar R. Weippl, Andreas Ekelhart (INDIN, 2019) ↗
A quantitative Evaluation of Trust in the Quality of Cyber Threat Intelligence Sources Thomas Schaberreiter, Veronika Kupfersberger, Konstantinos Rantos, Arnolt Spyros, Alexandros Papanikolaou, Chris Ilioudis, Gerald Quirchmayr (2019) ↗
Absolute Cluster Validity Felix Iglesias, Tanja Zseby, Arthur Zimek (2019) ↗
Adaptable and Data-Driven Softwarized Networks - Review, Opportunities, and Challenges. Wolfgang Kellerer, Patrick Kalmbach, Andreas Blenk, Arsany Basta, Martin Reisslein, Stefan Schmid (Proc. IEEE, 2019) ↗
Adaptively Secure Proxy Re-encryption. Georg Fuchsbauer, Chethan Kamath, Karen Klein, Krzysztof Pietrzak (Public Key Cryptography, 2019) ↗
Aggregate Cash Systems - A Cryptographic Investigation of Mimblewimble. Georg Fuchsbauer, Michele Orrù, Yannick Seurin (EUROCRYPT, 2019) ↗
Algorithms and Hardness for Diameter in Dynamic Graphs. Bertie Ancona, Monika Henzinger, Liam Roditty, Virginia Vassilevska Williams, Nicole Wein (ICALP, 2019) ↗
An Improved Quick Artificial Bee Colony Algorithm for Portfolio Selection Dit Suthiwong, Maleerat Sodanil, Gerald Quirchmayr (2019) ↗
An Improved Quick Artificial Bee Colony Algorithm for Portfolio Selection. Dit Suthiwong, Maleerat Sodanil, Gerald Quirchmayr (Int. J. Comput. Intell. Appl., 2019) ↗
An Information Flow Model to Support NIS Mandated Reporting Gerald Quirchmayr, Veronika Kupfersberger, Gregor Langner, Thomas Schaberreiter (2019) ↗
Analysis of the Internals of MySQL/InnoDB B+ Tree Index Navigation from a Forensic Perspective. Peter Kieseberg, Sebastian Schrittwieser, Peter Frühwirt, Edgar R. Weippl (ICSSA, 2019) ↗
Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei (Network and Distributed System Security Symposium (NDSS), 2019) ↗
Approximate Multi-Accelerator Tiled Architecture for Energy-Efficient Motion Estimation. Bharath Srinivas Prabakaran, Walaa El-Harouni, Semeen Rehman, Muhammad Shafique (Approximate Circuits, 2019) ↗
Architectural-Space Exploration of Heterogeneous Reliability and Checkpointing Modes for Out-of-Order Superscalar Processors. Bharath Srinivas Prabakaran, Mihika Dave, Florian Kriebel, Semeen Rehman, Muhammad Shafique (IEEE Access, 2019) ↗
Assuring Compliance with Protection Profiles with ThreatGet. Magdy El Sadany, Christoph Schmittner, Wolfgang Kastner (SAFECOMP Workshops, 2019) ↗
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks Christoph Egger, Matteo Maffei, Pedro Moreno-Sanchez (ACM Conference on Computer and Communications Security (CCS), 2019) ↗
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops Ezio Bartocci, Laura Kovacs, Miroslav Stankovic (ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis, 2019) ↗
Automatic time-unbounded reachability analysis of hybrid systems Mirco Giacobbe (2019) ↗
Avoiding Risky Designs When Using Blockchain Technologies in Cyber-Physical Systems. Nicholas Stifter, Matthias Eckhart, Bernhard Brenner, Edgar R. Weippl (ETFA, 2019) ↗
BeaconBlocks: Augmenting Proof-of-Stake with On-Chain Time Synchronization Alexander Hartl, Tanja Zseby, Joachim Fabini (The 2nd IEEE International Conference on Blockchain (Blockchain-2019), 2019) ↗
Bidding Mechanisms in Graph Games. Guy Avni, Thomas A. Henzinger, Dorde Zikelic (MFCS, 2019) ↗
Bidding games on Markov decision processes Guy Avni, Thomas Henzinger, Rasmus Ibsen-Jensen, Petr Novotny (2019) ↗
Bidding mechanisms in graph games Guy Avni, Thomas Henzinger, Dorde Zikelic (2019) ↗
Bonsai - Efficient Fast Failover Routing Using Small Arborescences. Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan (DSN, 2019) ↗
Breeding Unicorns - Developing Trustworthy and Scalable Randomness Beacons. Samvid Dharanikot, Michael Toft Jensen, Sebastian Rom Kristensen, Mathias Sass Michno, Yvonne-Anne Pignolet, René Rydhof Hansen, Stefan Schmid (Blockchain, 2019) ↗
Brief Announcement - On Self-Adjusting Skip List Networks. Chen Avin, Iosif Salem, Stefan Schmid (DISC, 2019) ↗
Building Robust Machine Learning Systems - Current Progress, Research Challenges, and Opportunities. Jeff Jun Zhang, Kang Liu, Faiq Khalid, Muhammad Abdullah Hanif, Semeen Rehman, Theocharis Theocharides, Alessandro Artussi, Muhammad Shafique, Siddharth Garg (DAC, 2019) ↗
CASA - Congestion and Stretch Aware Static Fast Rerouting. Klaus-Tycho Foerster, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan (INFOCOM, 2019) ↗
Cocoa Maximilian Bachl, Joachim Fabini, Tanja Zseby (Workshop on Buffer Sizing, 2019) ↗
Combinations of Qualitative Winning for Stochastic Parity Games. Krishnendu Chatterjee, Nir Piterman (CONCUR, 2019) ↗
Compact Oblivious Routing. Harald Räcke, Stefan Schmid (ESA, 2019) ↗
Comparison of Data-Driven Thermal Building Models for Model Predictive Control Gernot Steindl, Wolfgang Kastner, Verena Stangl (2019) ↗
Competitive clustering of stochastic communication patterns on a ring. Chen Avin, Louis Cohen, Mahmoud Parham, Stefan Schmid (Computing, 2019) ↗
Conclusion and Outlook on Security and Quality of Complex Cyber-Physical Systems Engineering. Stefan Biffl, Matthias Eckhart, Arndt Lüder, Edgar R. Weippl (Security and Quality in Cyber-Physical Systems Engineering, 2019) ↗
Congestion-Free Rerouting of Multiple Flows in Timed SDNs. Jiaqi Zheng, Bo Li, Chen Tian, Klaus-Tycho Foerster, Stefan Schmid, Guihai Chen, Jie Wu, Rui Li (IEEE J. Sel. Areas Commun., 2019) ↗
Continuous-time models for system design and analysis Rajeev Alur, Mirco Giacobbe, Thomas Henzinger, Kim Larsen, Marius Mikučionis (2019) ↗
Cost analysis of nondeterministic probabilistic programs. Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi (PLDI, 2019) ↗
DaRTree - deadline-aware multicast transfers in reconfigurable wide-area networks. Long Luo, Klaus-Tycho Foerster, Stefan Schmid, Hongfang Yu (IWQoS, 2019) ↗
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan (ATVA, 2019) ↗
DeepMPLS - Fast Analysis of MPLS Configurations Using Deep Learning. Fabien Geyer, Stefan Schmid (Networking, 2019) ↗
Demand-Aware Network Design with Minimal Congestion and Route Lengths. Chen Avin, Kaushik Mondal, Stefan Schmid (INFOCOM, 2019) ↗
Designing worm-inspired neural networks for interpretable robotic control Mathias Lechner, Ramin Hasani, Manuel Zimmer, Thomas Henzinger, Radu Grosu (2019) ↗
Determinacy in Discrete-Bidding Infinite-Duration Games. Milad Aghajohari, Guy Avni, Thomas A. Henzinger (CONCUR, 2019) ↗
Determinacy in discrete-bidding infinite-duration games Milad Aghajohari, Guy Avni, Thomas Henzinger (2019) ↗
Digital Transformation Manager (DTM) Course Modul 7: Industrie 4.0 / IoT Burkhard Kittl, Thomas Trautner, Wolfgang Kastner, Thomas Frühwirth (Digital Transformation Manager (DTM) Course, 2019) ↗
Distributed Consistent Network Updates in SDNs - Local Verification for Global Guarantees. Klaus-Tycho Foerster, Stefan Schmid (NCA, 2019) ↗
Distributed Dominating Set Approximations beyond Planar Graphs. Saeed Akhoondian Amiri, Stefan Schmid, Sebastian Siebertz (ACM Trans. Algorithms, 2019) ↗
Distributed Self-Adjusting Tree Networks. Bruna Soares Peres, Otavio Augusto de Oliveira Souza, Olga Goussevskaia, Chen Avin, Stefan Schmid (INFOCOM, 2019) ↗
Distributed edge connectivity in sublinear time. Mohit Daga, Monika Henzinger, Danupon Nanongkai, Thatchaphol Saranurak (STOC, 2019) ↗
Does Preprocessing Help under Congestion? Klaus-Tycho Foerster, Janne H. Korhonen, Joel Rybicki, Stefan Schmid (PODC, 2019) ↗
Echoes of the Past - Recovering Blockchain Metrics from Merged Mining. Nicholas Stifter, Philipp Schindler, Aljosha Judmayer, Alexei Zamyatin, Andreas Kern, Edgar R. Weippl (Financial Cryptography, 2019) ↗
Efficient Distributed Workload (Re-)Embedding. Monika Henzinger, Stefan Neumann, Stefan Schmid (Proc. ACM Meas. Anal. Comput. Syst., 2019) ↗
Efficient Distributed Workload (Re-)Embedding. Monika Henzinger, Stefan Neumann, Stefan Schmid (SIGMETRICS, 2019) ↗
Efficient Non-Segregated Routing for Reconfigurable Demand-Aware Networks. Thomas Fenz, Klaus-Tycho Foerster, Stefan Schmid, Anaïs Villedieu (Networking, 2019) ↗
Efficient parameterized algorithms for data packing. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Nastaran Okati, Andreas Pavlogiannis (Proc. ACM Program. Lang., 2019) ↗
Empirical Predictability Study of SDN Switches. Amaury Van Bemten, Nemanja Deric, Amir Varasteh, Andreas Blenk, Stefan Schmid, Wolfgang Kellerer (ANCS, 2019) ↗
Enhancing Cyber Situational Awareness for Cyber-Physical Systems through Digital Twins. Matthias Eckhart, Andreas Ekelhart, Edgar R. Weippl (ETFA, 2019) ↗
Enhancing credibility of digital evidence through provenance-based incident response handling Ludwig Englbrecht, Gregor Langner, G{\"u}nther Pernul, Gerald Quirchmayr (2019) ↗
Enhancing credibility of digital evidence through provenance-based incident response handling. Ludwig Englbrecht, Gregor Langner, Günther Pernul, Gerald Quirchmayr (ARES, 2019) ↗
Extreme Dimensionality Reduction for Network Attack Visualization with Autoencoders Daniel C. Ferreira, Felix Iglesias Vazquez, Tanja Zseby (International Joint Conference on Neural Networks IJCNN, 2019) ↗
FAdeML - Understanding the Impact of Pre-Processing Noise Filtering on Adversarial Machine Learning. Faiq Khalid, Muhammad Abdullah Hanif, Semeen Rehman, Junaid Qadir, Muhammad Shafique (DATE, 2019) ↗
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis (ACM Trans. Program. Lang. Syst., 2019) ↗
Finding a Nash equilibrium is no easier than breaking Fiat-Shamir Arka Choudhuri, Pavel Hubáček, Chethan Kamath Hosdurg, Krzysztof Pietrzak, Alon Rosen, Guy Rothblum (2019) ↗
Fingerprinting using database steganography. Peter Kieseberg, Sebastian Schrittwieser, Edgar R. Weippl (ICSSA, 2019) ↗
Foreword James H. Davenport, Laura Kovacs, Daniela Zaharie (2019) ↗
Foreword - Formalization of geometry, automated and interactive geometric reasoning Pascal Schreck, Tetsuo Ida, Laura Kovacs (2019) ↗
Forkcipher: A New Primitive for Authenticated Encryption of Very Short Messages Elena Andreeva, Virginie Lallemand, Antoon Purnal, Reza Reyhanitabar, Arnab Roy, Damian Vizár (Springer, 2019) ↗
From Hack to Elaborate Technique - A Survey on Binary Rewriting. Matthias Wenzl, Georg Merzdovnik, Johanna Ullrich, Edgar R. Weippl (ACM Comput. Surv., 2019) ↗
Fuzzy classification boundaries against adversarial network attacks. Félix Iglesias, Jelena Milosevic, Tanja Zseby (Fuzzy Sets Syst., 2019) ↗
Graph Planning with Expected Finite Horizon. Krishnendu Chatterjee, Laurent Doyen (LICS, 2019) ↗
Group ORAM for Privacy and AccessControl in Outsourced Personal Records Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder (2019) ↗
Guest Editorial - Special Issue on Latest Developments for the Management of Softwarized Networks. Wolfgang Kellerer, Prosper Chemouil, Noriaki Kamiyama, Barbara Martini, Rafael Pasquini, Giovanni Schembra, Stefan Schmid, Mohamed Faten Zhani, Thomas Zinner (IEEE Trans. Netw. Serv. Manag., 2019) ↗
Hardware-Software Approximations for Deep Neural Networks. Muhammad Abdullah Hanif, Muhammad Usama Javed, Rehan Hafiz, Semeen Rehman, Muhammad Shafique (Approximate Circuits, 2019) ↗
Heterogeneous Approximate Multipliers - Architectures and Design Methodologies. Semeen Rehman, Bharath Srinivas Prabakaran, Walaa El-Harouni, Muhammad Shafique, Jörg Henkel (Approximate Circuits, 2019) ↗
Hybrid mining - exploiting blockchain's computational power for distributed problem solving. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani (SAC, 2019) ↗
Improved Fast Rerouting Using Postprocessing. Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan (SRDS, 2019) ↗
Infinite-duration bidding games Guy Avni, Thomas Henzinger, Ventsislav Chonev (2019) ↗
Interactive Visualization of Saturation Attempts in Vampire Bernhard Gleiss, Laura Kovács, Lena Schnedlitz (15th International Conference on Integrated Formal Methods (iFM) 2019, 2019) ↗
Introduction to Security and Quality Improvement in Complex Cyber-Physical Systems Engineering. Stefan Biffl, Matthias Eckhart, Arndt Lüder, Edgar R. Weippl (Security and Quality in Cyber-Physical Systems Engineering, 2019) ↗
Ismael - Using Machine Learning to Predict Acceptance of Virtual Clusters in Data Centers. Johannes Zerwas, Patrick Kalmbach, Stefan Schmid, Andreas Blenk (IEEE Trans. Netw. Serv. Manag., 2019) ↗
Knowledge-based building management combining human perception and building automation systems. Wolfgang Kastner, Stefan Gaida, Hilda Tellioglu (SA, 2019) ↗
Local Fast Rerouting with Low Congestion - A Randomized Approach. Gregor Bankhamer, Robert Elsässer, Stefan Schmid (ICNP, 2019) ↗
Loko - predictable latency in small networks. Amaury Van Bemten, Nemanja Deric, Johannes Zerwas, Andreas Blenk, Stefan Schmid, Wolfgang Kellerer (CoNEXT, 2019) ↗
Long-Run Average Behavior of Vector Addition Systems with States. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop (CONCUR, 2019) ↗
Long-run average behavior of vector addition systems with states Krishnendu Chatterjee, Thomas Henzinger, Jan Otop (2019) ↗
MDCGen: Multidimensional Dataset Generator for Clustering Felix Iglesias, Tanja Zseby, Daniel Ferreira, Arthur Zimek (2019) ↗
Malware propagation in smart grid networks - metrics, simulation and comparison of three malware types. Peter Eder-Neuhauser, Tanja Zseby, Joachim Fabini (J. Comput. Virol. Hacking Tech., 2019) ↗
Manufacturing process data analysis pipelines: a requirements analysis and survey Ahmed Ismail, Hong-Linh Truong, Wolfgang Kastner (2019) ↗
Measuring Cookies and Web Privacy in a Post-GDPR World. Adrian Dabrowski, Georg Merzdovnik, Johanna Ullrich, Gerald Sendera, Edgar R. Weippl (PAM, 2019) ↗
MemGANs - Memory Management for Energy-Efficient Acceleration of Complex Computations in Hardware Architectures for Generative Adversarial Networks. Muhammad Abdullah Hanif, Muhammad Zuhaib Akbar, Rehan Ahmed, Semeen Rehman, Axel Jantsch, Muhammad Shafique (ISLPED, 2019) ↗
Membership-based synthesis of linear hybrid automata Miriam Garcia Soto, Thomas Henzinger, Christian Schilling, Luka Zeleznik (2019) ↗
Modular verification for almost-sure termination of probabilistic programs. Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady (Proc. ACM Program. Lang., 2019) ↗
Nap - Network-Aware Data Partitions for Efficient Distributed Processing. Or Raz, Chen Avin, Stefan Schmid (NCA, 2019) ↗
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil (CONCUR, 2019) ↗
NetBOA - Self-Driving Network Benchmarking. Johannes Zerwas, Patrick Kalmbach, Laurenz Henkel, Gábor Rétvári, Wolfgang Kellerer, Andreas Blenk, Stefan Schmid (NetAI@SIGCOMM, 2019) ↗
New amortized cell-probe lower bounds for dynamic problems. Sayan Bhattacharya, Monika Henzinger, Stefan Neumann (Theor. Comput. Sci., 2019) ↗
Non-polynomial Worst-Case Analysis of Recursive Programs. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady (ACM Trans. Program. Lang. Syst., 2019) ↗
On Polynomial-Time Congestion-Free Software-Defined Network Updates. Saeed Akhoondian Amiri, Szymon Dudycz, Mahmoud Parham, Stefan Schmid, Sebastian Wiederrecht (Networking, 2019) ↗
On the Complexity of Non-Segregated Routing in Reconfigurable Data Center Architectures. Klaus-Tycho Foerster, Maciej Pacut, Stefan Schmid (Comput. Commun. Rev., 2019) ↗
On the Impact of the Network Hypervisor on Virtual Network Performance. Andreas Blenk, Arsany Basta, Wolfgang Kellerer, Stefan Schmid (Networking, 2019) ↗
On the Power of Preprocessing in Decentralized Network Optimization. Klaus-Tycho Foerster, Juho Hirvonen, Stefan Schmid, Jukka Suomela (INFOCOM, 2019) ↗
Ontology-Based OPC UA Data Access via Custom Property Functions Gernot Steindl, Thomas Frühwirth, Wolfgang Kastner (24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2019), 2019) ↗
Ontology-based model for automotive security verification and validation Abdelkader Magdy, Christoph Schmittner, Thomas Gruber, A. Mohamed, Gerald Quirchmayr, Erich Schikuta (2019) ↗
PURR - a primitive for reconfigurable fast reroute - hope for the best and program for the worst. Marco Chiesa, Roshan Sedar, Gianni Antichi, Michael Borokhovich, Andrzej Kamisinski, Georgios Nikolaidis, Stefan Schmid (CoNEXT, 2019) ↗
Parametrized complexity of virtual network embeddings - dynamic & linear programming approximations. Matthias Rost, Elias Döhne, Stefan Schmid (Comput. Commun. Rev., 2019) ↗
Pattern Discovery in Internet Background Radiation Felix Iglesias, Tanja Zseby (2019) ↗
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty Hui Kong, Ezio Bartocci, Yu Jiang, Thomas Henzinger (2019) ↗
Platform-independent Modeling for Simulation-based Energy Optimization in Industrial Production Bernhard Heinzl, Wolfgang Kastner (2019) ↗
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization. Gergely Kovásznai, Krisztián Gajdár, Laura Kovács (SYNASC, 2019) ↗
Preacher - Network Policy Checker for Adversarial Environments. Kashyap Thimmaraju, Liron Schiff, Stefan Schmid (SRDS, 2019) ↗
Probabilistic Smart Contracts - Secure Randomness on the Blockchain. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani (IEEE ICBC, 2019) ↗
Proofs of Catalytic Space. Krzysztof Pietrzak (ITCS, 2019) ↗
QuSecNets - Quantization-based Defense Mechanism for Securing Deep Neural Network against Adversarial Attacks. Faiq Khalid, Hassan Ali, Hammad Tariq, Muhammad Abdullah Hanif, Semeen Rehman, Rehan Ahmed, Muhammad Shafique (IOLTS, 2019) ↗
Quantitative Automata under Probabilistic Semantics. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop (Log. Methods Comput. Sci., 2019) ↗
Quantitative Security Risk Assessment for Industrial Control Systems - Research Opportunities and Challenges. Matthias Eckhart, Bernhard Brenner, Andreas Ekelhart, Edgar R. Weippl (J. Internet Serv. Inf. Secur., 2019) ↗
RPDEVS Abstract Simulator Franz J. Preyser, Berhard Heinzl, Wolfgang Kastner (2019) ↗
RPDEVS Abstract Simulator Franz Josef Preyser, Bernhard Heinzl, Wolfgang Kastner (2019 Workshop der ASIM-Fachgruppen STS und GMMS, 2019) ↗
Rax - Deep Reinforcement Learning for Congestion Control. Maximilian Bachl, Tanja Zseby, Joachim Fabini (ICC, 2019) ↗
Rethinking General-Purpose Decentralized Computing. Enis Ceyhun Alp, Eleftherios Kokoris-Kogias, Georgia Fragkouli, Bryan Ford (HotOS, 2019) ↗
Reversible proofs of sequential work Hamza Abusalah, Chethan Kamath Hosdurg, Karen Klein, Krzysztof Pietrzak, Michael Walter (2019) ↗
Revisiting Practical Byzantine Fault Tolerance Through Blockchain Technologies. Nicholas Stifter, Aljosha Judmayer, Edgar R. Weippl (Security and Quality in Cyber-Physical Systems Engineering, 2019) ↗
Run-time optimization for learned controllers through quantitative games Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas Henzinger, Bettina Konighofer, Stefan Pranger (2019) ↗
Runtime Verification of P4 Switches with Reinforcement Learning. Apoorv Shukla, Kevin Nico Hudemann, Artur Hecker, Stefan Schmid (NetAI@SIGCOMM, 2019) ↗
Securing Information Against Manipulation in the Production Systems Engineering Process. Peter Kieseberg, Edgar R. Weippl (Security and Quality in Cyber-Physical Systems Engineering, 2019) ↗
Security Analysis and Improvement of Data Logistics in AutomationML-Based Engineering Networks. Bernhard Brenner, Edgar R. Weippl (Security and Quality in Cyber-Physical Systems Engineering, 2019) ↗
Security Development Lifecycle for Cyber-Physical Production Systems. Matthias Eckhart, Andreas Ekelhart, Arndt Lüder, Stefan Biffl, Edgar R. Weippl (IECON, 2019) ↗
Security Related Technical Debt in the Cyber-Physical Production Systems Engineering Process. Bernhard Brenner, Edgar R. Weippl, Andreas Ekelhart (IECON, 2019) ↗
Security of Symmetric Primitives against Key-Correlated Attacks. Aisling Connolly, Pooya Farshim, Georg Fuchsbauer (IACR Trans. Symmetric Cryptol., 2019) ↗
Self-adjusting Linear Networks. Chen Avin, Ingo van Duijn, Stefan Schmid (SIROCCO, 2019) ↗
Self-adjusting Linear Networks. Chen Avin, Ingo van Duijn, Stefan Schmid (SSS, 2019) ↗
SemIDEA - Towards a Semantic IoT Data Analytic Framework for Facilitating Environmental Protection. Duy Khanh Truong, Hanh Huu Hoang, A Min Tjoa, Gerald Quirchmayr (ISCIT, 2019) ↗
SemIDEA: Towards a Semantic IoT Data Analytic Framework for Facilitating Environmental Protection Truong Duy, Hoang Hanh, A Tjoa, Gerald Quirchmayr (2019) ↗
Shared-Memory Exact Minimum Cuts. Monika Henzinger, Alexander Noe, Christian Schulz (IPDPS, 2019) ↗
Simple Verifiable Delay Functions. Krzysztof Pietrzak (ITCS, 2019) ↗
Simple verifiable delay functions Krzysztof Pietrzak (2019) ↗
Simulation of RPDEVS Models of Logic Gates Christian Fiedler, Franz J. Preyser, Wolfgang Kastner (2019) ↗
Smart Manufacturing Retrofit for Brownfield Systems Dieter Etz, Hannes Brantner, Wolfgang Kastner (International Conference on Industry 4.0 and Smart Manufacturing, 2019) ↗
Special Issue on Security and Privacy in Smart Cyber-physical Systems. Lotfi Ben Othmane, Doug Jacobson, Edgar R. Weippl (Comput. Secur., 2019) ↗
Strategy Representation by Decision Trees with Linear Classifiers. Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman (QEST, 2019) ↗
Structure-Preserving Signatures on Equivalence Classes and Constant-Size Anonymous Credentials. Georg Fuchsbauer, Christian Hanser, Daniel Slamanig (J. Cryptol., 2019) ↗
Studying Aging and Soft Error Mitigation Jointly under Constrained Scenarios in Multi-Cores. Florian Kriebel, Semeen Rehman, Muhammad Shafique (IOLTS, 2019) ↗
Superposition Reasoning about Quantified Bitvector Formulas. David Damestani, Laura Kovács, Martin Suda (SYNASC, 2019) ↗
Survey of Consistent Software-Defined Network Updates. Klaus-Tycho Foerster, Stefan Schmid, Stefano Vissicchio (IEEE Commun. Surv. Tutorials, 2019) ↗
Survey of Reconfigurable Data Center Networks - Enablers, Algorithms, Complexity. Klaus-Tycho Foerster, Stefan Schmid (SIGACT News, 2019) ↗
Termination of Nondeterministic Probabilistic Programs. Hongfei Fu, Krishnendu Chatterjee (VMCAI, 2019) ↗
The Evolutionary Price of Anarchy - Locally Bounded Agents in a Dynamic Virus Game. Laura Schmid, Krishnendu Chatterjee, Stefan Schmid (OPODIS, 2019) ↗
The treewidth of smart contracts. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady (SAC, 2019) ↗
Toward Consistent State Management of Adaptive Programmable Networks Based on P4. Mu He, Andreas Blenk, Wolfgang Kellerer, Stefan Schmid (NEAT@SIGCOMM, 2019) ↗
Toward the Ontology-Based Security Verification and Validation Model for the Vehicular Domain Abdelkader Magdy, Christoph Schmittner, Gerald Quirchmayr, A. Mohamed, Thomas Gruber, Erich Schikuta (2019) ↗
Toward the Ontology-Based Security Verification and Validation Model for the Vehicular Domain. Abdelkader Magdy Shaaban, Christoph Schmittner, Gerald Quirchmayr, A. Baith Mohamed, Thomas Gruber, Erich Schikuta (ICONIP, 2019) ↗
Towards Data Anonymization in Data Mining via Meta-heuristic Approaches. Fatemeh Amiri, Gerald Quirchmayr, Peter Kieseberg, Edgar R. Weippl, Alessio Bertone (DPM/CBT@ESORICS, 2019) ↗
TrISec - Training Data-Unaware Imperceptible Security Attacks on Deep Neural Networks. Faiq Khalid, Muhammad Abdullah Hanif, Semeen Rehman, Rehan Ahmed, Muhammad Shafique (IOLTS, 2019) ↗
Transient memory in gene regulation Calin Guet, Thomas Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin (2019) ↗
TrojanZero - Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint. Imran Hafeez Abbassi, Faiq Khalid, Semeen Rehman, Awais Mehmood Kamboh, Axel Jantsch, Siddharth Garg, Muhammad Shafique (DATE, 2019) ↗
Tuple space explosion - a denial-of-service attack against a software packet classifier. Levente Csikor, Dinil Mon Divakaran, Min Suk Kang, Attila Korösi, Balázs Sonkoly, Dávid Haja, Dimitrios P. Pezaros, Stefan Schmid, Gábor Rétvári (CoNEXT, 2019) ↗
Value-centric dynamic partial order reduction. Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman (Proc. ACM Program. Lang., 2019) ↗
Verifying Relational Properties using Trace Logic Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovacs, Matteo Maffei (International Conference on Formal Methods in Computer Aided Design (FMCAD) 2019, 2019) ↗
Virtual Network Embedding Approximations - Leveraging Randomized Rounding. Matthias Rost, Stefan Schmid (IEEE/ACM Trans. Netw., 2019) ↗
WI Is Not Enough - Zero-Knowledge Contingent (Service) Payments Revisited. Georg Fuchsbauer (CCS, 2019) ↗
Walling up Backdoors in Intrusion Detection Systems Maximilian Bachl, Alexander Hartl, Joachim Fabini, Tanja Zseby (Big-DAMA '19, 2019) ↗
Walling up Backdoors in Intrusion Detection Systems. Maximilian Bachl, Alexander Hartl, Joachim Fabini, Tanja Zseby (eprint, 2019) ↗
XBioSiP - A Methodology for Approximate Bio-Signal Processing at the Edge. Bharath Srinivas Prabakaran, Semeen Rehman, Muhammad Shafique (DAC, 2019) ↗
