ABOUT NEWS PEOPLE RESEARCH TEACHING JOBS

Publications

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)
A Survey of Reconfigurable Optical Networks. Matthew Nance Hall, Klaus-Tycho Foerster, Stefan Schmid, Ramakrishnan Durairajan (Opt. Switch. Netw.)
A flow-based IDS using Machine Learning in eBPF. Maximilian Bachl, Joachim Fabini, Tanja Zseby (eprint)
Adversarial Training is Not Ready for Robot Learning. Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger (eprint)
Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper). Andreas Humenberger, Laura Kovács (VMCAI)
Algebra-based Synthesis of Loops and their Invariants (Invited Paper). Andreas Humenberger, Laura Kovács (eprint)
Algorithms and conditional lower bounds for planning problems. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil (Artif. Intell.)
All You Need is DAG. Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman (eprint)
An Approach to Supporting Militia Collaboration in Disaster Relief Through a Digital Environment. Philipp Hechenberger, Günter Fahrnberger, Gerald Quirchmayr (I4CS)
Applying High-Performance Bioinformatics Tools for Outlier Detection in Log Data. Markus Wurzenberger, Florian Skopik, Roman Fiedler, Wolfgang Kastner (eprint)
Area-Optimized Accurate and Approximate Softcore Signed Multiplier Architectures. Salim Ullah, Hendrik Schmidl, Siva Satyendra Sahoo, Semeen Rehman, Akash Kumar (IEEE Trans. Computers)
Automated Termination Analysis of Polynomial Probabilistic Programs. Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács (ESOP)
Automating Induction by Reflection. Johannes Schoisswohl, Laura Kovács (eprint)
Be Prepared When Network Goes Bad - An Asynchronous View-Change Protocol. Rati Gelashvili, Lefteris Kokoris-Kogias, Alexander Spiegelman, Zhuolun Xiang (eprint)
Bidding mechanisms in graph games. Guy Avni, Thomas A. Henzinger, Dorde Zikelic (J. Comput. Syst. Sci.)
Bitcoin Privacy - A Survey on Mixing Techniques. Simin Ghesmati, Walid Fdhila, Edgar R. Weippl (eprint)
Blitz - Secure Multi-Hop Payments Without Two-Phase Commits. Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei (eprint)
Classifying Convergence Complexity of Nash Equilibria in Graphical Games Using Distributed Computing Theory. Juho Hirvonen, Laura Schmid, Krishnendu Chatterjee, Stefan Schmid (eprint)
Compactness of Hashing Modes and Efficiency Beyond Merkle Tree. Elena Andreeva, Rishiraj Bhattacharyya, Arnab Roy (EUROCRYPT)
Compactness of Hashing Modes and Efficiency beyond Merkle Tree. Elena Andreeva, Rishiraj Bhattacharyya, Arnab Roy (eprint)
Compactness of Hashing Modes and Efficiency beyond Merkle Tree. Elena Andreeva, Rishiraj Bhattacharyya, Arnab Roy (eprint)
Determinacy in Discrete-Bidding Infinite-Duration Games. Milad Aghajohari, Guy Avni, Thomas A. Henzinger (Log. Methods Comput. Sci.)
Dynamic Maintenance of Low-Stretch Probabilistic Tree Embeddings with Applications. Sebastian Forster, Gramoz Goranci, Monika Henzinger (SODA)
Dynamic Set Cover - Improved Amortized and Worst-Case Update Time. Sayan Bhattacharya, Monika Henzinger, Danupon Nanongkai, Xiaowei Wu (SODA)
Editorial for Special Issue on Block Chain Technology and its Applications. Paolo Mori, Wolfgang Prinz, Laura Ricci, Edgar R. Weippl (Pervasive Mob. Comput.)
Enabling Novel Interconnection Agreements with Path-Aware Networking Architectures. Simon Scherrer, Markus Legner, Adrian Perrig, Stefan Schmid (eprint)
Fast ReRoute on Programmable Switches. Marco Chiesa, Roshan Sedar, Gianni Antichi, Michael Borokhovich, Andrzej Kamisinski, Georgios Nikolaidis, Stefan Schmid (IEEE/ACM Trans. Netw.)
Flavours of Sequential Information Flow. Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa (eprint)
Formalizing Graph Trail Properties in Isabelle/HOL. Laura Kovács, Hanna Lachnitt, Stefan Szeider (eprint)
Fully Dynamic k-Center Clustering in Low Dimensional Metrics. Gramoz Goranci, Monika Henzinger, Dariusz Leniowski, Christian Schulz, Alexander Svozil (ALENEX)
Heads in the Clouds - Measuring the Implications of Universities Migrating to Public Clouds. Tobias Fiebig, Seda Gürses, Carlos Hernandez Gañán, Erna Kotkamp, Fernando Kuipers, Martina Lindorfer, Menghua Prisse, Taritha Sari (eprint)
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.)
Input-Dynamic Distributed Algorithms for Communication Networks. Klaus-Tycho Foerster, Janne H. Korhonen, Ami Paz, Joel Rybicki, Stefan Schmid (SIGMETRICS)
Interpolation Cryptanalysis of Unbalanced Feistel Networks with Low Degree Round Functions. Arnab Roy, Elena Andreeva, Jan Ferdinand Sauer (eprint)
Inverse-Sybil Attacks in Automated Contact Tracing. Benedikt Auerbach, Suvradip Chakraborty, Karen Klein, Guillermo Pascual-Perez, Krzysztof Pietrzak, Michael Walter, Michelle Yeo (CT-RSA)
It's Good to Relax - Fast Profit Approximation for Virtual Networks with Latency Constraints. Robin Münk, Matthias Rost, Stefan Schmid, Harald Räcke (eprint)
LightPIR - Privacy-Preserving Route Discovery for Payment Channel Networks. Krzysztof Pietrzak, Iosif Salem, Stefan Schmid, Michelle Yeo (eprint)
Locality in Online Algorithms. Maciej Pacut, Mahmoud Parham, Joel Rybicki, Stefan Schmid, Jukka Suomela, Aleksandr Tereshchenko (eprint)
MORA - Automatic Generation of Moment-Based Invariants. Ezio Bartocci, Laura Kovács, Miroslav Stankovic (eprint)
Narwhal and Tusk - A DAG-based Mempool and Efficient BFT Consensus. George Danezis, Eleftherios Kokoris-Kogias, Alberto Sonnino, Alexander Spiegelman (eprint)
New Techniques and Fine-Grained Hardness for Dynamic Near-Additive Spanners. Thiago Bergamaschi, Monika Henzinger, Maximilian Probst Gutenberg, Virginia Vassilevska Williams, Nicole Wein (SODA)
Node Classification and Geographical Analysis of the Lightning Cryptocurrency Network. Philipp Zabka, Klaus-Tycho Förster, Stefan Schmid, Christian Decker (ICDCN)
On Satisficing in Quantitative Games. Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi (TACAS)
On Satisficing in Quantitative Games. Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi (eprint)
On the Complexity of Weight-Dynamic Network Algorithms. Monika Henzinger, Ami Paz, Stefan Schmid (eprint)
On the Cost of Adaptivity in Graph-Based Games. Chethan Kamath, Karen Klein, Krzysztof Pietrzak, Michael Walter (eprint)
On the Feasibility of Perfect Resilience with Local Fast Failover. Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan (APOCS)
Online Balanced Repartitioning of Dynamic Communication Patterns in Polynomial Time. Tobias Forner, Harald Räcke, Stefan Schmid (APOCS)
Online List Access with Precedence Constraints. Maciej Pacut, Juan Vanerio, Vamsi Addanki, Arash Pourdamghani, Gábor Rétvári, Stefan Schmid (eprint)
Optimal Virtual Network Embeddings for Tree Topologies. Aleksander Figiel, Leon Kellerhals, Rolf Niedermeier, Matthias Rost, Stefan Schmid, Philipp Zschoche (eprint)
Optimal strategies for selecting coordinators. Martin Zeiner, Ulrich Schmid, Krishnendu Chatterjee (Discret. Appl. Math.)
P4Fuzz - Compiler Fuzzer forDependable Programmable Dataplanes. Andrei-Alexandru Agape, Madalin Claudiu Danceanu, René Rydhof Hansen, Stefan Schmid (ICDCN)
Polynomial reachability witnesses via Stellensätze. Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi (PLDI)
Practical Fully Dynamic Minimum Cut Algorithms. Monika Henzinger, Alexander Noe, Christian Schulz (eprint)
Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. Matteo Maffei (ICISSP)
Proving Non-termination by Program Reversal. Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic (eprint)
Proving non-termination by program reversal. Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic (PLDI)
Quantitative analysis of assertion violations in probabilistic programs. Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady (PLDI)
Quantitative and Approximate Monitoring. Thomas A. Henzinger, N. Ege Saraç (eprint)
RUP Security of the SAEF Authenticated Encryption mode. Elena Andreeva, Amit Singh Bhati, Damian Vizár (eprint)
RandRunner - Distributed Randomness from Trapdoor VDFs with Strong Uniqueness. Philipp Schindler, Aljosha Judmayer, Markus Hittmeir, Nicholas Stifter, Edgar R. Weippl (NDSS)
ReNets - Statically-Optimal Demand-Aware Networks. Chen Avin, Stefan Schmid (APOCS)
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 (eprint)
Recent Advances in Fully Dynamic Graph Algorithms. Kathrin Hanauer, Monika Henzinger, Christian Schulz (eprint)
Resilient Capacity-Aware Routing. Stefan Schmid, Nicolas Schnepf, Jirí Srba (TACAS)
Scalable Verification of Quantized Neural Networks. Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic (AAAI)
Security, Trust and Privacy - Challenges for Community-Oriented ICT Support. Gerald Quirchmayr (I4CS)
Stateless Model Checking under a Reads-Value-From Equivalence. Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman (eprint)
Stochastic Processes with Expected Stopping Time. Krishnendu Chatterjee, Laurent Doyen (eprint)
Summing Up Smart Transitions. Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv (eprint)
Symbolic Time and Space Tradeoffs for Probabilistic Verification. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil (eprint)
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data. Miriam García Soto, Thomas A. Henzinger, Christian Schilling (eprint)
Synthesis of hybrid automata with affine dynamics from time-series data. Miriam García Soto, Thomas A. Henzinger, Christian Schilling (HSCC)
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 (eprint)
Tight Bounds for Online Graph Partitioning. Monika Henzinger, Stefan Neumann, Harald Räcke, Stefan Schmid (SODA)
Transferable E-Cash - A Cleaner Model and the First Practical Instantiation. Balthazar Bauer, Georg Fuchsbauer, Chen Qian (Public Key Cryptography)
Tunnelling and Mirroring Operational Technology Data with IP-based Middlewares. Patrick Denzler, Daniel Ramsauer, Wolfgang Kastner (ICIT)
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 Combinatorial Cut-Based Algorithm for Solving Laplacian Linear Systems. Monika Henzinger, Billy Jin, David P. Williamson (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 (EuroS&P Workshops)
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)
ACM SIGMETRICS International Workshop on Distributed Cloud Computing (DCC). Andrea Araldo, Ivona Brandic, Stefan Schmid (SIGMETRICS Perform. Evaluation Rev.)
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)
Absolute Cluster Validity. Félix Iglesias, Tanja Zseby, Arthur Zimek (IEEE Trans. Pattern Anal. Mach. Intell.)
Actively Probing Routes for Tor AS-Level Adversaries with RIPE Atlas. Wilfried Mayer, Georg Merzdovnik, Edgar R. Weippl (SEC)
AirNet - Energy-Aware Deployment and Scheduling of Aerial Networks. Elif Bozkaya, Klaus-Tycho Foerster, Stefan Schmid, Berk Canberk (IEEE Trans. Veh. Technol.)
Algebra-Based Loop Synthesis. Andreas Humenberger, Nikolaj Bjørner, Laura Kovács (IFM)
Algebra-based Loop Synthesis. Andreas Humenberger, Laura Kovács (eprint)
An Improved Algorithm for Dynamic Set Cover. Sayan Bhattacharya, Monika Henzinger, Danupon Nanongkai, Xiaowei Wu (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 (ICTAC)
Analysis of Bayesian Networks via Prob-Solvable Loops. Ezio Bartocci, Laura Kovács, Miroslav Stankovic (eprint)
Anomaly Detection for Mixed Packet Sequences. Fares Meghdouri, Félix Iglesias Vázquez, Tanja Zseby (LCN Symposium)
Approximating Values of Generalized-Reachability Stochastic Games. Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler (LICS)
Asynchronous Distributed Key Generation for Computationally-Secure Randomness, Consensus, and Threshold Signatures. Eleftherios Kokoris-Kogias, Dahlia Malkhi, Alexander Spiegelman (CCS)
Automated Termination Analysis of Polynomial Probabilistic Programs. Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács (eprint)
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)
Brief Announcement - What Can(Not) Be Perfectly Rerouted Locally. Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan (DISC)
CALYPSO - Private Data Management for Decentralized Ledgers. Eleftherios Kokoris-Kogias, Enis Ceyhun Alp, Linus Gasser, Philipp Jovanovic, Ewa Syta, Bryan Ford (Proc. VLDB Endow.)
Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web. Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei (eprint)
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)
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations. Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee (eprint)
Conic Formation in Presence of Faulty Robots. Debasish Pattanayak, Klaus-Tycho Foerster, Partha Sarathi Mandal, Stefan Schmid (ALGOSENSORS)
Constant-Time Dynamic (Δ+1)-Coloring. Monika Henzinger, Pan Peng (STACS)
Constant-Time Dynamic Weight Approximation for Minimum Spanning Forest. Monika Henzinger, Pan Peng (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)
Creating Character-based Templates for Log Data to Enable Security Event Classification. Markus Wurzenberger, Georg Höld, Max Landauer, Florian Skopik, Wolfgang Kastner (AsiaCCS)
Cross-Layer Deanonymization Methods in the Lightning Protocol. Matteo Romiti, Friedhelm Victor, Pedro Moreno-Sanchez, Bernhard Haslhofer, Matteo Maffei (eprint)
Cross-Layer Profiling of Encrypted Network Data for Anomaly Detection. Fares Meghdouri, Félix Iglesias Vázquez, Tanja Zseby (DSAA)
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 (INDOCRYPT)
Delayed Authentication - Preventing Replay and Relay Attacks in Private Contact Tracing. Krzysztof Pietrzak (eprint)
Demand-Aware Payment Channel Networks. Lukas Aumayr, Esra Ceylan, Matteo Maffei, Pedro Moreno-Sanchez, Iosif Salem, Stefan Schmid (eprint)
Demand-aware network designs of bounded degree. Chen Avin, Kaushik Mondal, Stefan Schmid (Distributed Comput.)
Deterministic Dynamic Matching in O(1) Update Time. Sayan Bhattacharya, Deeparnab Chakrabarty, Monika Henzinger (Algorithmica)
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 (SCN)
Double-Authentication-Preventing Signatures in the Standard Model. Dario Catalano, Georg Fuchsbauer, Azam Soleimanian (eprint)
Dynamic Approximate Maximum Independent Set of Intervals, Hypercubes and Hyperrectangles. Monika Henzinger, Stefan Neumann, Andreas Wiese (SoCG)
Dynamic Approximate Maximum Independent Set of Intervals, Hypercubes and Hyperrectangles. Monika Henzinger, Stefan Neumann, Andreas Wiese (eprint)
Dynamic Balanced Graph Partitioning. Chen Avin, Marcin Bienkowski, Andreas Loukas, Maciej Pacut, Stefan Schmid (SIAM J. Discret. Math.)
Dynamic Clustering to Minimize the Sum of Radii. Monika Henzinger, Dariusz Leniowski, Claire Mathieu (Algorithmica)
Dynamic Maintenance of Low-Stretch Probabilistic Tree Embeddings with Applications. Sebastian Forster, Gramoz Goranci, Monika Henzinger (eprint)
Dynamic Matching Algorithms in Practice. Monika Henzinger, Shahbaz Khan, Richard Paul, Christian Schulz (ESA)
Dynamic Matching Algorithms in Practice. Monika Henzinger, Shahbaz Khan, Richard Paul, Christian Schulz (eprint)
Dynamic resource allocation games. Guy Avni, Thomas A. Henzinger, Orna Kupferman (Theor. Comput. Sci.)
Dynamically Optimal Self-adjusting Single-Source Tree Networks. Chen Avin, Kaushik Mondal, Stefan Schmid (LATIN)
EagerNet - Early Predictions of Neural Networks for Computationally Efficient Intrusion Detection. Fares Meghdouri, Maximilian Bachl, Tanja Zseby (CSNet)
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 (SCN)
Efficient Signatures on Randomizable Ciphertexts. Balthazar Bauer, Georg Fuchsbauer (eprint)
Efficient non-segregated routing for reconfigurable demand-aware networks. Thomas Fenz, Klaus-Tycho Foerster, Stefan Schmid, Anaïs Villedieu (Comput. Commun.)
Explainability and Adversarial Robustness for RNNs. Alexander Hartl, Maximilian Bachl, Joachim Fabini, Tanja Zseby (BigDataService)
Explicit and Implicit Dynamic Coloring of Graphs with Bounded Arboricity. Monika Henzinger, Stefan Neumann, Andreas Wiese (eprint)
FaDec - A Fast Decision-based Attack for Adversarial Machine Learning. Faiq Khalid, Hassan Ali, Muhammad Abdullah Hanif, Semeen Rehman, Rehan Ahmed, Muhammad Shafique (IJCNN)
Fast Dynamic Cuts, Distances and Effective Resistances via Vertex Sparsifiers. Li Chen, Gramoz Goranci, Monika Henzinger, Richard Peng, Thatchaphol Saranurak (FOCS)
Fast Dynamic Cuts, Distances and Effective Resistances via Vertex Sparsifiers. Li Chen, Gramoz Goranci, Monika Henzinger, Richard Peng, Thatchaphol Saranurak (eprint)
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis (ATVA)
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)
Faster Fully Dynamic Transitive Closure in Practice. Kathrin Hanauer, Monika Henzinger, Christian Schulz (SEA)
Faster Fully Dynamic Transitive Closure in Practice. Kathrin Hanauer, Monika Henzinger, Christian Schulz (eprint)
Faster Parallel Multiterminal Cuts. Monika Henzinger, Alexander Noe, Christian Schulz (eprint)
Finding All Global Minimum Cuts In Practice. Monika Henzinger, Alexander Noe, Christian Schulz, Darren Strash (eprint)
Finding All Global Minimum Cuts in Practice. Monika Henzinger, Alexander Noe, Christian Schulz, Darren Strash (ESA)
Flexible Safety Systems for Smart Manufacturing. Dieter Etz, Thomas Frühwirth, Wolfgang Kastner (ETFA)
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 (FMCAD)
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)
Fully Dynamic Single-Source Reachability in Practice - An Experimental Study. Kathrin Hanauer, Monika Henzinger, Christian Schulz (ALENEX)
Fully-Dynamic Coresets. Monika Henzinger, Sagar Kale (ESA)
Fully-Dynamic Coresets. Monika Henzinger, Sagar Kale (eprint)
Generalized Bitcoin-Compatible Channels. Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, 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)
Improved Guarantees for Vertex Sparsification in Planar Graphs. Gramoz Goranci, Monika Henzinger, Pan Peng (SIAM J. Discret. Math.)
Incentivizing Stable Path Selection in Future Internet Architectures. Simon Scherrer, Markus Legner, Adrian Perrig, Stefan Schmid (SIGMETRICS Perform. Evaluation Rev.)
Incentivizing Stable Path Selection in Future Internet Architectures. Simon Scherrer, Markus Legner, Adrian Perrig, Stefan Schmid (eprint)
Incentivizing stable path selection in future Internet architectures. Simon Scherrer, Markus Legner, Adrian Perrig, Stefan Schmid (Perform. Evaluation)
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)
Inter-Datacenter Bulk Transfers - Trends and Challenges. Long Luo, Hongfang Yu, Klaus-Tycho Foerster, Max Noormohammadpour, Stefan Schmid (IEEE Netw.)
Interactive Visualization of Saturation Attempts in Vampire. Bernhard Gleiss, Laura Kovács, Lena Schnedlitz (eprint)
Interpretability and Refinement of Clustering. Félix Iglesias Vázquez, Tanja Zseby, Arthur Zimek (DSAA)
Into the unknown - Active monitoring of neural networks. Anna Lukina, Christian Schilling, Thomas A. Henzinger (eprint)
LFQ - Online Learning of Per-flow Queuing Policies using Deep Reinforcement Learning. Maximilian Bachl, Joachim Fabini, Tanja Zseby (LCN)
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)
Latte - Improving the Latency of Transiently Consistent Network Update Schedules. Niels Christensen, Mark Glavind, Stefan Schmid, Jirí Srba (SIGMETRICS Perform. Evaluation Rev.)
Limits on amplifiers of natural selection under death-Birth updating. Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak (PLoS Comput. Biol.)
Load-Optimization in Reconfigurable Networks - Algorithms and Complexity of Flow Routing. Wenkai Dai, Klaus-Tycho Foerster, David Fuchssteiner, Stefan Schmid (SIGMETRICS Perform. Evaluation Rev.)
Local Fast Rerouting with Low Congestion - A Randomized Approach. Gregor Bankhamer, Robert Elsässer, Stefan Schmid (eprint)
Local Flow Partitioning for Faster Edge Connectivity. Monika Henzinger, Satish Rao, Di Wang (SIAM J. Comput.)
MDCStream - Stream Data Generator for Testing Analysis Algorithms. Félix Iglesias, Denis Ojdanic, Alexander Hartl, Tanja Zseby (VALUETOOLS)
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, Guenther Nadbath, Axel Jantsch, Muhammad Shafique (eprint)
Maximally Resilient Replacement Paths for a Family of Product Graphs. Mahmoud Parham, Klaus-Tycho Foerster, Petar Kosic, Stefan Schmid (OPODIS)
Metaheuristic Simulation-based Production Planning for Energy Efficiency - A Case Study. Bernhard Heinzl, Wolfgang Kastner (Simul. Notes Eur.)
Monitorability Under Assumptions. Thomas A. Henzinger, N. Ege Saraç (RV)
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)
New Techniques and Fine-Grained Hardness for Dynamic Near-Additive Spanners. Thiago Bergamaschi, Monika Henzinger, Maximilian Probst Gutenberg, Virginia Vassilevska Williams, Nicole Wein (eprint)
Nonce-Misuse Security of the SAEF Authenticated Encryption mode. Elena Andreeva, Amit Singh Bhati, Damian Vizár (eprint)
On Search Friction of Route Discovery in Offchain Networks. Saar Tochner, Stefan Schmid (Blockchain)
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.)
Online Dynamic B-Matching - With Applications to Reconfigurable Datacenter Networks. Marcin Bienkowski, David Fuchssteiner, Jan Marcinkowski, Stefan Schmid (SIGMETRICS Perform. Evaluation Rev.)
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)
Optimized Software Implementations for the Lightweight Encryption Scheme ForkAE. Arne Deprez, Elena Andreeva, Jose Maria Bermudo Mera, Angshuman Karmakar, Antoon Purnal (CARDIS)
Optimized Software Implementations for theLightweight Encryption Scheme ForkAE. Arne Deprez, Elena Andreeva, Jose Maria Bermudo Mera, Angshuman Karmakar, Antoon Purnal (eprint)
Optimizing Congestion Control Through Fair Queuing Detection. Maximilian Bachl, Joachim Fabini, Tanja Zseby (eprint)
Outside the Box - Abstraction-Based Monitoring of Neural Networks. Thomas A. Henzinger, Anna Lukina, Christian Schilling (ECAI)
P4Consist - Toward Consistent P4 SDNs. Apoorv Shukla, Seifeddine Fathalli, Thomas Zinner, Artur Hecker, Stefan Schmid (IEEE J. Sel. Areas Commun.)
Performance Analysis of Demand-Oblivious and Demand-Aware Optical Datacenter Network Designs. Chen Griner, Johannes Zerwas, Andreas Blenk, Manya Ghobadi, Stefan Schmid, Chen Avin (eprint)
Polynomial invariant generation for non-deterministic recursive programs. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady (PLDI)
Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments. Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei (eprint)
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.)
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.)
Quantitative Analysis of Assertion Violations in Probabilistic Programs. Jinyi Wang, Yican Sun, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee (eprint)
Quo Vadisc? Outcomes of the PODC/DISC Conference model survey. Stefan Schmid (Bull. EATCS)
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.)
Route Hijacking and DoS in Off-Chain Networks. Saar Tochner, Aviv Zohar, Stefan Schmid (AFT)
SDOstream - Low-Density Models for Streaming Outlier Detection. Alexander Hartl, Félix Iglesias, Tanja Zseby (ESANN)
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)
Scalable Verification of Quantized Neural Networks (Technical Report). Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic (eprint)
Scheduling Opportunistic Links in Two-Tiered Reconfigurable Datacenters. Janardhan Kulkarni, Stefan Schmid, Pawel Schmidt (eprint)
Semantics for Cyber-Physical Systems - A cross-domain perspective. Marta Sabou, Stefan Biffl, Alfred Einfalt, Lukas Krammer, Wolfgang Kastner, Fajar J. Ekaputra (Semantic Web)
Shared-Memory Branch-and-Reduce for Multiterminal Cuts. Monika Henzinger, Alexander Noe, Christian Schulz (ALENEX)
Simpler Constructions of Asymmetric Primitives from Obfuscation. Pooya Farshim, Georg Fuchsbauer, Alain Passelègue (INDOCRYPT)
Simplified Game of Life - Algorithms and Complexity. Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda (MFCS)
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 (eprint)
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 Algorithms for Self-stabilizing Overlay Networks. Michael Feldmann, Christian Scheideler, Stefan Schmid (ACM Comput. Surv.)
Survey on Cryptocurrency Networking - Context, State-of-the-Art, Challenges. Maya Dotan, Yvonne-Anne Pignolet, Stefan Schmid, Saar Tochner, Aviv Zohar (eprint)
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 (EuroS&P Workshops)
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 (ISoLA)
The Reads-From Equivalence for the TSO and PSO Memory Models. Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman (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)
Tight Bounds for Online Graph Partitioning. Monika Henzinger, Stefan Neumann, Harald Räcke, 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 Consolidating Industrial Use Cases on a Common Fog Computing Platform. Patrick Denzler, Jan Ruh, Marine Kadar, Cosmin Avasalcai, Wolfgang Kastner (ETFA)
Towards Data-Driven Malfunctioning Detection in Public and Industrial Power Grids. David Fellner, Helfried Brunner, Thomas I. Strasser, Wolfgang Kastner (ETFA)
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 (FMCAD)
Trace Logic for Inductive Loop Reasoning. Pamina Georgiou, Bernhard Gleiss, Laura Kovács (eprint)
Transferable E-cash - A Cleaner Model and the First Practical Instantiation. Balthazar Bauer, Georg Fuchsbauer, Chen Qian (eprint)
User Mental Models of Cryptocurrency Systems - A Grounded Theory Approach. Alexandra Mai, Katharina Pfeffer, Matthias Gusenbauer, Edgar R. Weippl, Katharina Krombholz (SOUPS @ USENIX Security Symposium)
Vienna Graph Clustering. Sonja Biedermann, Monika Henzinger, Christian Schulz, Bernhard Schuster (Protein-Protein Interaction Networks)
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 (CCS)
eThor - Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei (eprint)
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)
A Deamortization Approach for Dynamic Spanner and Dynamic Maximal Matching. Aaron Bernstein, Sebastian Forster, Monika Henzinger (SODA)
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 New Deterministic Algorithm for Dynamic Set Cover. Sayan Bhattacharya, Monika Henzinger, Danupon Nanongkai (FOCS)
A New Deterministic Algorithm for Dynamic Set Cover. Sayan Bhattacharya, Monika Henzinger, Danupon Nanongkai (eprint)
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 Tree Structure For Dynamic Facility Location. Gramoz Goranci, Monika Henzinger, Dariusz Leniowski (eprint)
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 (Proc. 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)
Algorithms and Hardness for Diameter in Dynamic Graphs. Bertie Ancona, Monika Henzinger, Liam Roditty, Virginia Vassilevska Williams, Nicole Wein (ICALP)
An Improved Quick Artificial Bee Colony Algorithm for Portfolio Selection. Dit Suthiwong, Maleerat Sodanil, Gerald Quirchmayr (Int. J. Comput. Intell. Appl.)
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)
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 (CCS)
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)
Constant-Time Dynamic (Δ+1)-Coloring and Weight Approximation for Minimum Spanning Forest - Dynamic Algorithms Meet Property Testing. Monika Henzinger, Pan Peng (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)
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan (eprint)
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 Edge Connectivity in Sublinear Time. Mohit Daga, Monika Henzinger, Danupon Nanongkai, Thatchaphol Saranurak (eprint)
Distributed Self-Adjusting Tree Networks. Bruna Soares Peres, Otavio Augusto de Oliveira Souza, Olga Goussevskaia, Chen Avin, Stefan Schmid (INFOCOM)
Distributed edge connectivity in sublinear time. Mohit Daga, Monika Henzinger, Danupon Nanongkai, Thatchaphol Saranurak (STOC)
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 (Electron. Colloquium Comput. Complex.)
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)
Fingerprinting using database steganography. Peter Kieseberg, Sebastian Schrittwieser, Edgar R. Weippl (ICSSA)
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.)
Forkcipher - A New Primitive for Authenticated Encryption of Very Short Messages. Elena Andreeva, Virginie Lallemand, Antoon Purnal, Reza Reyhanitabar, Arnab Roy, Damian Vizár (ASIACRYPT)
Forkcipher - a New Primitive for Authenticated Encryption of Very Short Messages. Elena Andreeva, Virginie Lallemand, Antoon Purnal, Reza Reyhanitabar, Arnab Roy, Damian Vizár (eprint)
From Hack to Elaborate Technique - A Survey on Binary Rewriting. Matthias Wenzl, Georg Merzdovnik, Johanna Ullrich, Edgar R. Weippl (ACM Comput. Surv.)
Fully Dynamic Single-Source Reachability in Practice - An Experimental Study. Kathrin Hanauer, Monika Henzinger, Christian Schulz (eprint)
Fully Dynamic k-Center Clustering in Doubling Metrics. Gramoz Goranci, Monika Henzinger, Dariusz Leniowski, Alexander Svozil (eprint)
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)
New Amortized Cell-Probe Lower Bounds for Dynamic Problems. Sayan Bhattacharya, Monika Henzinger, Stefan Neumann (eprint)
New amortized cell-probe lower bounds for dynamic problems. Sayan Bhattacharya, Monika Henzinger, Stefan Neumann (Theor. Comput. Sci.)
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)
Shared-Memory Branch-and-Reduce for Multiterminal Cuts. Monika Henzinger, Alexander Noe, Christian Schulz (eprint)
Shared-Memory Exact Minimum Cuts. Monika Henzinger, Alexander Noe, Christian Schulz (IPDPS)
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. Cryptol.)
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)
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)
Upper and Lower Bounds for Fully Retroactive Graph Problems. Monika Henzinger, Xiaowei Wu (eprint)
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 (CCS)
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