ABOUT NEWS PEOPLE RESEARCH COURSES JOBS

Publications

2020

A Classification of Computational Assumptions in the Algebraic Group Model. Balthazar Bauer, Georg Fuchsbauer, Julian Loss (CRYPTO)
A Classification of Computational Assumptions in the Algebraic Group Model. Balthazar Bauer, Georg Fuchsbauer, Julian Loss (eprint)
A Competitive B-Matching Algorithm for Reconfigurable Datacenter Networks. Marcin Bienkowski, David Fuchssteiner, Jan Marcinkowski, Stefan Schmid (eprint)
A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network. Sergei Tikhomirov, Pedro Moreno-Sanchez, Matteo Maffei (eprint)
A Survey of Bidding Games on Graphs (Invited Paper). Guy Avni, Thomas A. Henzinger (CONCUR)
Absolute Cluster Validity. Félix Iglesias, Tanja Zseby, Arthur Zimek (IEEE Trans. Pattern Anal. Mach. Intell.)
Algebra-based Loop Synthesis. Andreas Humenberger, Laura Kovács (eprint)
An Online Matching Model for Self-Adjusting ToR-to-ToR Networks. Chen Avin, Chen Griner, Iosif Salem, Stefan Schmid (eprint)
Analysis of Bayesian Networks via Prob-Solvable Loops. Ezio Bartocci, Laura Kovács, Miroslav Stankovic (eprint)
Approximating Values of Generalized-Reachability Stochastic Games. Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler (LICS)
Bitcoin-Compatible Virtual Channels. Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi (eprint)
Blind Schnorr Signatures and Signed ElGamal Encryption in the Algebraic Group Model. Georg Fuchsbauer, Antoine Plouviez, Yannick Seurin (EUROCRYPT)
Brief Announcement - Deterministic Lower Bound for Dynamic Balanced Graph Partitioning. Maciej Pacut, Mahmoud Parham, Stefan Schmid (PODC)
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations. Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee (eprint)
Cost-Efficient Embedding of Virtual Networks With and Without Routing Flexibility. Balázs Németh, Yvonne Anne Pignolet, Matthias Rost, Stefan Schmid, Balázs Vass (Networking)
Cross-Layer Deanonymization Methods in the Lightning Protocol. Matteo Romiti, Friedhelm Victor, Pedro Moreno-Sanchez, Bernhard Haslhofer, Matteo Maffei (eprint)
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.)
Delayed Authentication - Preventing Replay and Relay Attacks in Private Contact Tracing. Krzysztof Pietrzak (eprint)
Demand-aware network designs of bounded degree. Chen Avin, Kaushik Mondal, Stefan Schmid (Distributed Comput.)
Distributed Pattern Formation With Faulty Robots. Debasish Pattanayak, Klaus-Tycho Foerster, Partha Sarathi Mandal, Stefan Schmid (eprint)
Double-Authentication-Preventing Signatures in the Standard Model. Dario Catalano, Georg Fuchsbauer, Azam Soleimanian (eprint)
Dynamic resource allocation games. Guy Avni, Thomas A. Henzinger, Orna Kupferman (Theor. Comput. Sci.)
EagerNet - Early Predictions of Neural Networks for Computationally Efficient Intrusion Detection. Fares Meghdouri, Maximilian Bachl, Tanja Zseby (eprint)
Editorial - Special issue on security and privacy in smart cyber-physical systems. Lotfi Ben Othmane, Doug Jacobson, Edgar R. Weippl (Comput. Secur.)
Efficient Signatures on Randomizable Ciphertexts. Balthazar Bauer, Georg Fuchsbauer (eprint)
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth. Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis (eprint)
FlowPrint - Semi-Supervised Mobile-App Fingerprinting on Encrypted Network Traffic. Thijs van Ede, Riccardo Bortolameotti, Andrea Continella, Jingjing Ren, Daniel J. Dubois, Martina Lindorfer, David R. Choffnes, Maarten van Steen, Andreas Peter (NDSS)
Formal Methods with a Touch of Magic. Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina (eprint)
Formalizing Graph Trail Properties in Isabelle/HOL. Laura Kovács, Hanna Lachnitt, Stefan Szeider (CICM)
Generalized Bitcoin-Compatible Channels. Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostakova, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi (eprint)
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.)
How Many Bits Does it Take to Quantize Your Neural Network? Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner (TACAS)
HydRand - Efficient Continuous Distributed Randomness. Philipp Schindler, Aljosha Judmayer, Nicholas Stifter, Edgar R. Weippl (IEEE Symposium on Security and Privacy)
Implications of Routing Coherence and Consistency on Network Optimization. Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan (Networking)
Improved Bi-criteria Approximation for the All-or-Nothing Multicommodity Flow Problem in Arbitrary Networks. Anya Chaturvedi, Andréa W. Richa, Matthias Rost, Stefan Schmid, Jamison Weber (eprint)
Induction with Generalization in Superposition Reasoning. Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov (CICM)
Inductive Reachability Witnesses. Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi (eprint)
Inductive sequentialization of asynchronous programs. Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer (PLDI)
Information-Flow Interfaces. Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa (eprint)
Input-dynamic distributed graph algorithms for congested networks. Klaus-Tycho Foerster, Janne H. Korhonen, Ami Paz, Joel Rybicki, Stefan Schmid (eprint)
Interactive Visualization of Saturation Attempts in Vampire. Bernhard Gleiss, Laura Kovács, Lena Schnedlitz (eprint)
LFQ - Online Learning of Per-flow Queuing Policies using Deep Reinforcement Learning. Maximilian Bachl, Joachim Fabini, Tanja Zseby (eprint)
Language-Based Web Session Integrity. Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta (CSF)
Language-Based Web Session Integrity. Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta (eprint)
Limits on amplifiers of natural selection under death-Birth updating. Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak (PLoS Computational Biology)
MDCStream - Stream Data Generator for Testing Analysis Algorithms. Félix Iglesias, Denis Ojdanic, Alexander Hartl, Tanja Zseby (VALUETOOLS)
Monitoring Event Frequencies. Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl (CSL)
Mora - Automatic Generation of Moment-Based Invariants. Ezio Bartocci, Laura Kovács, Miroslav Stankovic (TACAS)
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop (CONCUR)
Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop (eprint)
Multiple-Environment Markov Decision Processes - Efficient Analysis and Applications. Krishnendu Chatterjee, Martin Chmelík, Deep Karkhanis, Petr Novotný, Amélie Royer (ICAPS)
On Search Friction of Route Discovery in Offchain Networks. Saar Tochner, Stefan Schmid (eprint)
On the Complexity of Traffic Traces and Implications. Chen Avin, Manya Ghobadi, Chen Griner, Stefan Schmid (Proc. ACM Meas. Anal. Comput. Syst.)
On the Complexity of Traffic Traces and Implications. Chen Avin, Manya Ghobadi, Chen Griner, Stefan Schmid (SIGMETRICS)
On the Feasibility of Perfect Resilience with Local Fast Failover. Klaus-Tycho Foerster, Juho Hirvonen, Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan (eprint)
On the Hardness and Inapproximability of Virtual Network Embeddings. Matthias Rost, Stefan Schmid (IEEE/ACM Trans. Netw.)
Ontology-Based Model Identification of Industrial Energy Systems. Gernot Steindl, Wolfgang Kastner (ISIE)
Open Monitoring Platform for Mobile Broadband. Wolfgang Hofer, Philipp Svoboda, Wolfgang Kastner, Vaclav Raida, Markus Rupp (VTC Spring)
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis (ESOP)
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis (eprint)
P4Consist - Toward Consistent P4 SDNs. Apoorv Shukla, Seifeddine Fathalli, Thomas Zinner, Artur Hecker, Stefan Schmid (IEEE J. Sel. Areas Commun.)
Polynomial invariant generation for non-deterministic recursive programs. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady (PLDI)
Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning. Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic (eprint)
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.)
RandRunner - Distributed Randomness from Trapdoor VDFs with Strong Uniqueness. Philipp Schindler, Aljosha Judmayer, Markus Hittmeir, Nicholas Stifter, Edgar R. Weippl (eprint)
Refinement for Structured Concurrent Programs. Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger (CAV)
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala (AAAI)
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala (eprint)
RoSCo - Robust Updates for Software-Defined Networks. James Lembke, Srivatsan Ravi, Patrick Eugster, Stefan Schmid (IEEE J. Sel. Areas Commun.)
SOK - cryptocurrency networking context, state-of-the-art, challenges. Maya Dotan, Yvonne Anne Pignolet, Stefan Schmid, Saar Tochner, Aviv Zohar (ARES)
SSCNets - Robustifying DNNs using Secure Selective Convolutional Filters. Hassan Ali, Faiq Khalid, Hammad Tariq, Muhammad Abdullah Hanif, Rehan Ahmed, Semeen Rehman (IEEE Des. Test)
Semantics for Cyber-Physical Systems - A cross-domain perspective. Marta Sabou, Stefan Biffl, Alfred Einfalt, Lukas Krammer, Wolfgang Kastner, Fajar J. Ekaputra (Semantic Web)
Simplified Game of Life - Algorithms and Complexity. Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda (MFCS)
SoK - a taxonomy for anomaly detection in wireless sensor networks focused on node-level techniques. Dominik Widhalm, Karl M. Göschka, Wolfgang Kastner (ARES)
SparseIDS - Learning Packet Sampling with Reinforcement Learning. Maximilian Bachl, Fares Meghdouri, Joachim Fabini, Tanja Zseby (CNS)
SparseIDS - Learning Packet Sampling with Reinforcement Learning. Maximilian Bachl, Fares Meghdouri, Joachim Fabini, Tanja Zseby (eprint)
SplitCast - Optimizing Multicast Flows in Reconfigurable Datacenter Networks. Long Luo, Klaus-Tycho Foerster, Stefan Schmid, Hongfang Yu (INFOCOM)
Stochastic Games with Lexicographic Reachability-Safety Objectives. Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler (CAV)
Stochastic Games with Lexicographic Reachability-Safety Objectives. Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler (eprint)
Subsumption Demodulation in First-Order Theorem Proving. Bernhard Gleiss, Laura Kovács, Jakob Rath (IJCAR)
Subsumption Demodulation in First-Order Theorem Proving. Bernhard Gleiss, Laura Kovács, Jakob Rath (eprint)
Survey on Cryptocurrency Networking - Context, State-of-the-Art, Challenges. Maya Dotan, Yvonne Anne Pignolet, Stefan Schmid, Saar Tochner, Aviv Zohar (eprint)
The Value of Information in Selfish Routing. Simon Scherrer, Adrian Perrig, Stefan Schmid (SIROCCO)
The Value of Information in Selfish Routing. Simon Scherrer, Adrian Perrig, Stefan Schmid (eprint)
Toward Active and Passive Confidentiality Attacks On Cryptocurrency Off-Chain Networks. Utz Nisslmueller, Klaus-Tycho Foerster, Stefan Schmid, Christian Decker (eprint)
Toward Active and Passive Confidentiality Attacks on Cryptocurrency Off-chain Networks. Utz Nisslmueller, Klaus-Tycho Foerster, Stefan Schmid, Christian Decker (ICISSP)
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.)
Towards Fine-Grained Billing For Cloud Networking. Kashyap Thimmaraju, Stefan Schmid (eprint)
Towards Runtime Verification of Programmable Switches. Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Stefan Schmid, Artur Hecker, Anja Feldmann (eprint)
Trace Logic for Inductive Loop Reasoning. Pamina Georgiou, Bernhard Gleiss, Laura Kovács (eprint)
Walking Through Waypoints. Saeed Akhoondian Amiri, Klaus-Tycho Foerster, Stefan Schmid (Algorithmica)
When Malware is Packin' Heat; Limits of Machine Learning Classifiers Based on Static Analysis Features. Hojjat Aghakhani, Fabio Gritti, Francesco Mecca, Martina Lindorfer, Stefano Ortolani, Davide Balzarotti, Giovanni Vigna, Christopher Kruegel (NDSS)
Why are My Flows Different? A Tutorial on Flow Exporters. Gernot Vormayr, Joachim Fabini, Tanja Zseby (IEEE Commun. Surv. Tutorials)
Working Set Theorems for Routing in Self-Adjusting Skip List Networks. Chen Avin, Iosif Salem, Stefan Schmid (INFOCOM)
eThor - Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei (eprint)
2019

Deciding Fast Termination for Probabilistic VASS with Nondeterminism. Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan (eprint)
A Model-Driven and Ontology-based Engineering Approach for Smart Grid Automation Applications. Claudia Zanabria, Filip Pröstl Andrén, Thomas I. Strasser, Wolfgang Kastner (IECON)
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)
A Versatile Security Layer for AutomationML. Bernhard Brenner, Edgar R. Weippl, Andreas Ekelhart (INDIN)
A2L - Anonymous Atomic Locks for Scalability and Interoperability in Payment Channel Hubs. Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei (eprint)
AECID-PG - A Tree-Based Log Parser Generator To Enable Log Analysis. Markus Wurzenberger, Max Landauer, Florian Skopik, Wolfgang Kastner (IM)
Adaptable and Data-Driven Softwarized Networks - Review, Opportunities, and Challenges. Wolfgang Kellerer, Patrick Kalmbach, Andreas Blenk, Arsany Basta, Martin Reisslein, Stefan Schmid (Proceedings of the IEEE)
Adaptively Secure Proxy Re-encryption. Georg Fuchsbauer, Chethan Kamath, Karen Klein, Krzysztof Pietrzak (Public Key Cryptography)
Aggregate Cash Systems - A Cryptographic Investigation of Mimblewimble. Georg Fuchsbauer, Michele Orrù, Yannick Seurin (EUROCRYPT)
An Improved Quick Artificial Bee Colony Algorithm for Portfolio Selection. Dit Suthiwong, Maleerat Sodanil, Gerald Quirchmayr (Int. J. Comput. Intell. Appl.)
Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability. Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei (NDSS)
Approximate Multi-Accelerator Tiled Architecture for Energy-Efficient Motion Estimation. Bharath Srinivas Prabakaran, Walaa El-Harouni, Semeen Rehman, Muhammad Shafique (Approximate Circuits)
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)
Are Network Attacks Outliers? A Study of Space Representations and Unsupervised Algorithms. Félix Iglesias, Alexander Hartl, Tanja Zseby, Arthur Zimek (PKDD/ECML Workshops)
Assuring Compliance with Protection Profiles with ThreatGet. Magdy El Sadany, Christoph Schmittner, Wolfgang Kastner (SAFECOMP Workshops)
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks. Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei (ACM Conference on Computer and Communications Security)
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks. Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei (eprint)
AutoHoney(I)IoT - Automated Device Independent Honeypot Generation of IoT and Industrial IoT Devices. Christian Kudera, Georg Merzdovnik, Edgar R. Weippl (ERCIM News)
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. Ezio Bartocci, Laura Kovács, Miroslav Stankovic (ATVA)
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. Ezio Bartocci, Laura Kovács, Miroslav Stankovic (eprint)
Avoiding Risky Designs When Using Blockchain Technologies in Cyber-Physical Systems. Nicholas Stifter, Matthias Eckhart, Bernhard Brenner, Edgar R. Weippl (ETFA)
BeaconBlocks - Augmenting Proof-of-Stake with On-Chain Time Synchronization. Alexander Hartl, Tanja Zseby, Joachim Fabini (Blockchain)
Bidding Games on Markov Decision Processes. Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Petr Novotný (RP)
Bidding Mechanisms in Graph Games. Guy Avni, Thomas A. Henzinger, Dorde Zikelic (MFCS)
Bidding Mechanisms in Graph Games. Guy Avni, Thomas A. Henzinger, Dorde Zikelic (eprint)
Blind Schnorr Signatures in the Algebraic Group Model. Georg Fuchsbauer, Antoine Plouviez, Yannick Seurin (eprint)
Bonsai - Efficient Fast Failover Routing Using Small Arborescences. Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan (DSN)
Bootstrapping Consensus Without Trusted Setup - Fully Asynchronous Distributed Key Generation. Eleftherios Kokoris-Kogias, Alexander Spiegelman, Dahlia Malkhi, Ittai Abraham (eprint)
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)
Brick - Asynchronous State Channels. Georgia Avarikioti, Eleftherios Kokoris-Kogias, Roger Wattenhofer (eprint)
Brief Announcement - Does Preprocessing Help under Congestion? Klaus-Tycho Foerster, Janne H. Korhonen, Joel Rybicki, Stefan Schmid (eprint)
Brief Announcement - On Self-Adjusting Skip List Networks. Chen Avin, Iosif Salem, Stefan Schmid (DISC)
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)
CASA - Congestion and Stretch Aware Static Fast Rerouting. Klaus-Tycho Foerster, Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan (INFOCOM)
Challenges of GDPR and the NIS Directive. Gerald Quirchmayr (ICISSP)
Cocoa - Congestion Control Aware Queuing. Maximilian Bachl, Joachim Fabini, Tanja Zseby (BS)
Cocoa - Congestion Control Aware Queuing. Maximilian Bachl, Joachim Fabini, Tanja Zseby (eprint)
Combinations of Qualitative Winning for Stochastic Parity Games. Krishnendu Chatterjee, Nir Piterman (CONCUR)
Compact Oblivious Routing. Harald Räcke, Stefan Schmid (ESA)
Competitive clustering of stochastic communication patterns on a ring. Chen Avin, Louis Cohen, Mahmoud Parham, Stefan Schmid (Computing)
Compositional Analysis for Almost-Sure Termination of Probabilistic Programs. Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady (eprint)
Compositional Specifications for ioco Testing. Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic (eprint)
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)
Concurrency and Privacy with Payment-Channel Networks. Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi (eprint)
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.)
Consistent SDNs through Network State Fuzzing. Apoorv Shukla, Said Jawad Saidi, Stefan Schmid, Marco Canini, Thomas Zinner, Anja Feldmann (eprint)
Continuous-Time Models for System Design and Analysis. Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis (Computing and Software Science)
Cost Analysis of Nondeterministic Probabilistic Programs. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Peixin Wang, Xudong Qin, Wenjun Shi (eprint)
Cost analysis of nondeterministic probabilistic programs. Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi (PLDI)
DaRTree - deadline-aware multicast transfers in reconfigurable wide-area networks. Long Luo, Klaus-Tycho Foerster, Stefan Schmid, Hongfang Yu (IWQoS)
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan (ATVA)
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)
DeepMPLS - Fast Analysis of MPLS Configurations Using Deep Learning. Fabien Geyer, Stefan Schmid (Networking)
Demand-Aware Network Design with Minimal Congestion and Route Lengths. Chen Avin, Kaushik Mondal, Stefan Schmid (INFOCOM)
Designing Worm-inspired Neural Networks for Interpretable Robotic Control. Mathias Lechner, Ramin M. Hasani, Manuel Zimmer, Thomas A. Henzinger, Radu Grosu (ICRA)
Determinacy in Discrete-Bidding Infinite-Duration Games. Milad Aghajohari, Guy Avni, Thomas A. Henzinger (CONCUR)
Determinacy in Discrete-Bidding Infinite-Duration Games. Milad Aghajohari, Guy Avni, Thomas A. Henzinger (eprint)
Distributed Consistent Network Updates in SDNs - Local Verification for Global Guarantees. Klaus-Tycho Foerster, Stefan Schmid (NCA)
Distributed Consistent Network Updates in SDNs - Local Verification for Global Guarantees. Klaus-Tycho Foerster, Stefan Schmid (eprint)
Distributed Dominating Set Approximations beyond Planar Graphs. Saeed Akhoondian Amiri, Stefan Schmid, Sebastian Siebertz (ACM Trans. Algorithms)
Distributed Self-Adjusting Tree Networks. Bruna Soares Peres, Otavio Augusto de Oliveira Souza, Olga Goussevskaia, Chen Avin, Stefan Schmid (INFOCOM)
Divide and Scale - Formalization of Distributed Ledger Sharding Protocols. Georgia Avarikioti, Eleftherios Kokoris-Kogias, Roger Wattenhofer (eprint)
Does Preprocessing Help under Congestion? Klaus-Tycho Foerster, Janne H. Korhonen, Joel Rybicki, Stefan Schmid (PODC)
ETHDKG - Distributed Key Generation with Ethereum Smart Contracts. Philipp Schindler, Aljosha Judmayer, Nicholas Stifter, Edgar R. Weippl (eprint)
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)
Efficient Distributed Workload (Re-)Embedding. Monika Henzinger, Stefan Neumann, Stefan Schmid (Proc. ACM Meas. Anal. Comput. Syst.)
Efficient Distributed Workload (Re-)Embedding. Monika Henzinger, Stefan Neumann, Stefan Schmid (SIGMETRICS)
Efficient Distributed Workload (Re-)Embedding. Monika Henzinger, Stefan Neumann, Stefan Schmid (eprint)
Efficient Non-Segregated Routing for Reconfigurable Demand-Aware Networks. Thomas Fenz, Klaus-Tycho Foerster, Stefan Schmid, Anaïs Villedieu (Networking)
Efficient parameterized algorithms for data packing. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Nastaran Okati, Andreas Pavlogiannis (Proc. ACM Program. Lang.)
Empirical Predictability Study of SDN Switches. Amaury Van Bemten, Nemanja Deric, Amir Varasteh, Andreas Blenk, Stefan Schmid, Wolfgang Kellerer (ANCS)
Enhancing Cyber Situational Awareness for Cyber-Physical Systems through Digital Twins. Matthias Eckhart, Andreas Ekelhart, Edgar R. Weippl (ETFA)
Enhancing credibility of digital evidence through provenance-based incident response handling. Ludwig Englbrecht, Gregor Langner, Günther Pernul, Gerald Quirchmayr (ARES)
Explainability and Adversarial Robustness for RNNs. Alexander Hartl, Maximilian Bachl, Joachim Fabini, Tanja Zseby (eprint)
Extreme Dimensionality Reduction for Network Attack Visualization with Autoencoders. Daniel C. Ferreira, Félix Iglesias Vázquez, Tanja Zseby (IJCNN)
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)
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.)
Finding a Nash Equilibrium Is No Easier Than Breaking Fiat-Shamir. Arka Rai Choudhuri, Pavel Hubácek, Chethan Kamath, Krzysztof Pietrzak, Alon Rosen, Guy N. Rothblum (Electronic Colloquium on Computational Complexity)
Finding a Nash Equilibrium Is No Easier Than Breaking Fiat-Shamir. Arka Rai Choudhuri, Pavel Hubácek, Chethan Kamath, Krzysztof Pietrzak, Alon Rosen, Guy N. Rothblum (eprint)
Finding a Nash equilibrium is no easier than breaking Fiat-Shamir. Arka Rai Choudhuri, Pavel Hubácek, Chethan Kamath, Krzysztof Pietrzak, Alon Rosen, Guy N. Rothblum (STOC)
Foreword - Formalization of geometry, automated and interactive geometric reasoning. Pascal Schreck, Tetsuo Ida, Laura Kovács (Ann. Math. Artif. Intell.)
Foreword. James H. Davenport, Laura Kovács, Daniela Zaharie (Math. Comput. Sci.)
From Hack to Elaborate Technique - A Survey on Binary Rewriting. Matthias Wenzl, Georg Merzdovnik, Johanna Ullrich, Edgar R. Weippl (ACM Comput. Surv.)
Fuzzy classification boundaries against adversarial network attacks. Félix Iglesias, Jelena Milosevic, Tanja Zseby (Fuzzy Sets Syst.)
Graph Planning with Expected Finite Horizon. Krishnendu Chatterjee, Laurent Doyen (LICS)
Group ORAM for privacy and access control in outsourced personal records. Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder (J. Comput. Secur.)
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.)
Hardware-Software Approximations for Deep Neural Networks. Muhammad Abdullah Hanif, Muhammad Usama Javed, Rehan Hafiz, Semeen Rehman, Muhammad Shafique (Approximate Circuits)
Heterogeneous Approximate Multipliers - Architectures and Design Methodologies. Semeen Rehman, Bharath Srinivas Prabakaran, Walaa El-Harouni, Muhammad Shafique, Jörg Henkel (Approximate Circuits)
Hijacking Routes in Payment Channel Networks - A Predictability Tradeoff. Saar Tochner, Stefan Schmid, Aviv Zohar (eprint)
Hybrid mining - exploiting blockchain's computational power for distributed problem solving. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani (SAC)
ISaFe - Injecting Security Features into Constrained Embedded Firmware. Matthias Wenzl, Georg Merzdovnik, Edgar R. Weippl (ERCIM News)
Improved Fast Rerouting Using Postprocessing. Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan (SRDS)
Infinite-duration Bidding Games. Guy Avni, Thomas A. Henzinger, Ventsislav Chonev (J. ACM)
Interactive Visualization of Saturation Attempts in Vampire. Bernhard Gleiss, Laura Kovács, Lena Schnedlitz (IFM)
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)
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.)
Keep the Dirt - Tainted TreeKEM, an Efficient and Provably Secure Continuous Group Key Agreement Protocol. Joël Alwen, Margarita Capretto, Miguel Cueto, Chethan Kamath, Karen Klein, Guillermo Pascual-Perez, Krzysztof Pietrzak, Michael Walter (eprint)
Knowledge-based building management combining human perception and building automation systems. Wolfgang Kastner, Stefan Gaida, Hilda Tellioglu (SA)
Local Fast Rerouting with Low Congestion - A Randomized Approach. Gregor Bankhamer, Robert Elsässer, Stefan Schmid (ICNP)
Loko - predictable latency in small networks. Amaury Van Bemten, Nemanja Deric, Johannes Zerwas, Andreas Blenk, Stefan Schmid, Wolfgang Kellerer (CoNEXT)
Lonely Points in Simplices. Maximilian Jaroschek, Manuel Kauers, Laura Kovács (eprint)
Long-Run Average Behavior of Vector Addition Systems with States. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop (CONCUR)
Long-Run Average Behavior of Vector Addition Systems with States. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop (eprint)
MDCGen - Multidimensional Dataset Generator for Clustering. Félix Iglesias, Tanja Zseby, Daniel C. Ferreira, Arthur Zimek (J. Classif.)
MTS - Bringing Multi-Tenancy to Virtual Networking. Kashyap Thimmaraju, Saad Hermak, Gábor Rétvári, Stefan Schmid (USENIX Annual Technical Conference)
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.)
Manufacturing process data analysis pipelines - a requirements analysis and survey. Ahmed Ismail, Hong-Linh Truong, Wolfgang Kastner (J. Big Data)
Measuring Cookies and Web Privacy in a Post-GDPR World. Adrian Dabrowski, Georg Merzdovnik, Johanna Ullrich, Gerald Sendera, Edgar R. Weippl (PAM)
Measuring the Complexity of Packet Traces. Chen Avin, Manya Ghobadi, Chen Griner, Stefan Schmid (eprint)
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)
Membership-Based Synthesis of Linear Hybrid Automata. Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik (CAV)
Modular verification for almost-sure termination of probabilistic programs. Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady (Proc. ACM Program. Lang.)
Monitoring Event Frequencies. Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl (eprint)
Nap - Network-Aware Data Partitions for Efficient Distributed Processing. Or Raz, Chen Avin, Stefan Schmid (NCA)
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil (CONCUR)
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil (eprint)
NetBOA - Self-Driving Network Benchmarking. Johannes Zerwas, Patrick Kalmbach, Laurenz Henkel, Gábor Rétvári, Wolfgang Kellerer, Andreas Blenk, Stefan Schmid (NetAI@SIGCOMM)
Non-polynomial Worst-Case Analysis of Recursive Programs. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady (ACM Trans. Program. Lang. Syst.)
On Polynomial-Time Congestion-Free Software-Defined Network Updates. Saeed Akhoondian Amiri, Szymon Dudycz, Mahmoud Parham, Stefan Schmid, Sebastian Wiederrecht (Networking)
On the Complexity of Non-Segregated Routing in Reconfigurable Data Center Architectures. Klaus-Tycho Foerster, Maciej Pacut, Stefan Schmid (Comput. Commun. Rev.)
On the Impact of the Network Hypervisor on Virtual Network Performance. Andreas Blenk, Arsany Basta, Wolfgang Kellerer, Stefan Schmid (Networking)
On the Power of Preprocessing in Decentralized Network Optimization. Klaus-Tycho Foerster, Juho Hirvonen, Stefan Schmid, Jukka Suomela (INFOCOM)
Ontology-Based Model for Automotive Security Verification and Validation. Abdelkader Magdy Shaaban, Christoph Schmittner, Thomas Gruber, A. Baith Mohamed, Gerald Quirchmayr, Erich Schikuta (iiWAS)
Ontology-Based OPC UA Data Access via Custom Property Functions. Gernot Steindl, Thomas Frühwirth, Wolfgang Kastner (ETFA)
Optimal Dyck Reachability for Data-Dependence and Alias Analysis. Krishnendu Chatterjee, Bhavya Choudhary, Andreas Pavlogiannis (eprint)
Outside the Box - Abstraction-Based Monitoring of Neural Networks. Thomas A. Henzinger, Anna Lukina, Christian Schilling (eprint)
PPAD-Hardness via Iterated Squaring Modulo a Composite. Arka Rai Choudhuri, Pavel Hubácek, Chethan Kamath, Krzysztof Pietrzak, Alon Rosen, Guy N. Rothblum (eprint)
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)
Parametrized complexity of virtual network embeddings - dynamic & linear programming approximations. Matthias Rost, Elias Döhne, Stefan Schmid (Comput. Commun. Rev.)
Pattern Discovery in Internet Background Radiation. Félix Iglesias, Tanja Zseby (IEEE Trans. Big Data)
Pay-To-Win - Incentive Attacks on Proof-of-Work Cryptocurrencies. Aljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gazi, Sarah Meiklejohn, Edgar R. Weippl (eprint)
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger (FORMATS)
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger (eprint)
Polynomial Invariant Generation for Non-deterministic Recursive Programs. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady (eprint)
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization. Gergely Kovásznai, Krisztián Gajdár, Laura Kovács (SYNASC)
Preacher - Network Policy Checker for Adversarial Environments. Kashyap Thimmaraju, Liron Schiff, Stefan Schmid (SRDS)
Probabilistic Smart Contracts - Secure Randomness on the Blockchain. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani (IEEE ICBC)
Probabilistic Smart Contracts - Secure Randomness on the Blockchain. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani (eprint)
Proofs of Catalytic Space. Krzysztof Pietrzak (ITCS)
Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time. Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu (eprint)
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)
Quantitative Automata under Probabilistic Semantics. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop (Log. Methods Comput. Sci.)
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.)
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil (eprint)
RED-Attack - Resource Efficient Decision based Attack for Machine Learning. Faiq Khalid, Hassan Ali, Muhammad Abdullah Hanif, Semeen Rehman, Rehan Ahmed, Muhammad Shafique (eprint)
RPDEVS Abstract Simulator. Franz Josef Preyser, Bernhard Heinzl, Wolfgang Kastner (Simul. Notes Eur.)
Rax - Deep Reinforcement Learning for Congestion Control. Maximilian Bachl, Tanja Zseby, Joachim Fabini (ICC)
ReNets - Toward Statically Optimal Self-Adjusting Networks. Chen Avin, Stefan Schmid (eprint)
Rethinking General-Purpose Decentralized Computing. Enis Ceyhun Alp, Eleftherios Kokoris-Kogias, Georgia Fragkouli, Bryan Ford (HotOS)
Reversible Proofs of Sequential Work. Hamza Abusalah, Chethan Kamath, Karen Klein, Krzysztof Pietrzak, Michael Walter (EUROCRYPT)
Reversible Proofs of Sequential Work. Hamza Abusalah, Chethan Kamath, Karen Klein, Krzysztof Pietrzak, Michael Walter (eprint)
Revisiting Practical Byzantine Fault Tolerance Through Blockchain Technologies. Nicholas Stifter, Aljosha Judmayer, Edgar R. Weippl (Security and Quality in Cyber-Physical Systems Engineering)
Robust and Scalable Consensus for Sharded Distributed Ledgers. Eleftherios Kokoris-Kogias (eprint)
Run-Time Optimization for Learned Controllers Through Quantitative Games. Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger (CAV)
Runtime Verification of P4 Switches with Reinforcement Learning. Apoorv Shukla, Kevin Nico Hudemann, Artur Hecker, Stefan Schmid (NetAI@SIGCOMM)
Securing Information Against Manipulation in the Production Systems Engineering Process. Peter Kieseberg, Edgar R. Weippl (Security and Quality in Cyber-Physical Systems Engineering)
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)
Security Development Lifecycle for Cyber-Physical Production Systems. Matthias Eckhart, Andreas Ekelhart, Arndt Lüder, Stefan Biffl, Edgar R. Weippl (IECON)
Security Related Technical Debt in the Cyber-Physical Production Systems Engineering Process. Bernhard Brenner, Edgar R. Weippl, Andreas Ekelhart (IECON)
Security of Symmetric Primitives against Key-Correlated Attacks. Aisling Connolly, Pooya Farshim, Georg Fuchsbauer (IACR Trans. Symmetric Cryptol.)
Security of Symmetric Primitives against Key-Correlated Attacks. Aisling Connolly, Pooya Farshim, Georg Fuchsbauer (eprint)
Self-Adjusting Linear Networks. Chen Avin, Ingo van Duijn, Stefan Schmid (eprint)
Self-adjusting Linear Networks. Chen Avin, Ingo van Duijn, Stefan Schmid (SIROCCO)
Self-adjusting Linear Networks. Chen Avin, Ingo van Duijn, Stefan Schmid (SSS)
SemIDEA - Towards a Semantic IoT Data Analytic Framework for Facilitating Environmental Protection. Duy Khanh Truong, Hanh Huu Hoang, A Min Tjoa, Gerald Quirchmayr (ISCIT)
Simple Verifiable Delay Functions. Krzysztof Pietrzak (ITCS)
Simulation of RPDEVS Models of Logic Gates. Christian Fiedler, Franz Josef Preyser, Wolfgang Kastner (Simul. Notes Eur.)
SoK - Communication Across Distributed Ledgers. Alexei Zamyatin, Mustafa Al-Bassam, Dionysis Zindros, Eleftherios Kokoris-Kogias, Pedro Moreno-Sanchez, Aggelos Kiayias, William J. Knottenbelt (eprint)
Special Issue on Security and Privacy in Smart Cyber-physical Systems. Lotfi Ben Othmane, Doug Jacobson, Edgar R. Weippl (Comput. Secur.)
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)
Strategy Representation by Decision Trees with Linear Classifiers. Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman (eprint)
Structure-Preserving Signatures on Equivalence Classes and Constant-Size Anonymous Credentials. Georg Fuchsbauer, Christian Hanser, Daniel Slamanig (J. Cryptology)
Studying Aging and Soft Error Mitigation Jointly under Constrained Scenarios in Multi-Cores. Florian Kriebel, Semeen Rehman, Muhammad Shafique (IOLTS)
Superposition Reasoning about Quantified Bitvector Formulas. David Damestani, Laura Kovács, Martin Suda (SYNASC)
Survey of Consistent Software-Defined Network Updates. Klaus-Tycho Foerster, Stefan Schmid, Stefano Vissicchio (IEEE Commun. Surv. Tutorials)
Survey of Reconfigurable Data Center Networks - Enablers, Algorithms, Complexity. Klaus-Tycho Foerster, Stefan Schmid (SIGACT News)
Termination of Nondeterministic Probabilistic Programs. Hongfei Fu, Krishnendu Chatterjee (VMCAI)
The Complexity of POMDPs with Long-run Average Objectives. Krishnendu Chatterjee, Raimundo Saona, Bruno Ziliotto (eprint)
The Evolutionary Price of Anarchy - Locally Bounded Agents in a Dynamic Virus Game. Laura Schmid, Krishnendu Chatterjee, Stefan Schmid (OPODIS)
The Evolutionary Price of Anarchy - Locally Bounded Agents in a Dynamic Virus Game. Krishnendu Chatterjee, Laura Schmid, Stefan Schmid (eprint)
The treewidth of smart contracts. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady (SAC)
Toward Consistent State Management of Adaptive Programmable Networks Based on P4. Mu He, Andreas Blenk, Wolfgang Kellerer, Stefan Schmid (NEAT@SIGCOMM)
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)
Towards Data Anonymization in Data Mining via Meta-heuristic Approaches. Fatemeh Amiri, Gerald Quirchmayr, Peter Kieseberg, Edgar R. Weippl, Alessio Bertone (DPM/CBT@ESORICS)
TrISec - Training Data-Unaware Imperceptible Security Attacks on Deep Neural Networks. Faiq Khalid, Muhammad Abdullah Hanif, Semeen Rehman, Rehan Ahmed, Muhammad Shafique (IOLTS)
Transient Memory in Gene Regulation. Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin (CMSB)
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)
Value-centric Dynamic Partial Order Reduction. Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman (eprint)
Value-centric dynamic partial order reduction. Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman (Proc. ACM Program. Lang.)
Verifying Relational Properties using Trace Logic. Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei (FMCAD)
Verifying Relational Properties using Trace Logic. Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei (eprint)
Virtual Network Embedding Approximations - Leveraging Randomized Rounding. Matthias Rost, Stefan Schmid (IEEE/ACM Trans. Netw.)
WI Is Not Enough - Zero-Knowledge Contingent (Service) Payments Revisited. Georg Fuchsbauer (ACM Conference on Computer and Communications Security)
WI Is Not Enough - Zero-Knowledge Contingent (Service) Payments Revisited. Georg Fuchsbauer (eprint)
Walling up Backdoors in Intrusion Detection Systems. Maximilian Bachl, Alexander Hartl, Joachim Fabini, Tanja Zseby (Big-DAMA@CoNEXT)
Walling up Backdoors in Intrusion Detection Systems. Maximilian Bachl, Alexander Hartl, Joachim Fabini, Tanja Zseby (eprint)
XBioSiP - A Methodology for Approximate Bio-Signal Processing at the Edge. Bharath Srinivas Prabakaran, Semeen Rehman, Muhammad Shafique (DAC)

Members
Partners