Items where Year is 2022

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author(s)/Creator(s) | Item Type | No Grouping
Jump to: A | B | C | D | E | F | G | H | K | L | M | N | P | R | S | T | W | Y | Z
Number of items: 76.

A

Abdelnabi, Sahar and Hasan, Rakibul and Fritz, Mario
(2022) Open-Domain, Content-based, Multi-modal Fact-checking of Out-of-Context Images via Online Resources.
In: Conference on Computer Vision and Pattern Recognition.
Conference: CVPR IEEE Conference on Computer Vision and Pattern Recognition
(In Press)

Aggarwal, Divesh and Döttling, Nico and Dujmovic, Jesko and Hajiabadi, Mohammad and Malavolta, Giulio and Obremski, Maciej
(2022) Algebraic Restriction Codes and their Applications.
In: 13th Innovations in Theoretical Computer Science Conference.
Conference: ITCS Innovations in Theoretical Computer Science

Antonioli, Daniele and Tippenhauer, Nils Ole and Rasmussen, Kasper and Payer, Mathias
(2022) Blurtooth: Exploiting cross-transport key derivation in Bluetooth classic and Bluetooth low energy.
In: Proceedings of the ACM Asia Conference on Computer and Communications Security (ASIACCS).
Conference: ASIACCS ACM ASIA Conference on Computer and Communications Security

B

Balliu, Alkida and Brandt, Sebastian and Kuhn, Fabian and Olivetti, Dennis
(2022) Distributed edge coloring in time polylogarithmic in Δ.
In: PODC 2022.
Conference: PODC ACM Symposium on Principles of Distributed Computing
(Submitted)

Balliu, Alkida and Brandt, Sebastian and Kuhn, Fabian and Olivetti, Dennis
(2022) Distributed ∆-Coloring Plays Hide-and-Seek.
In: STOC 2022.
Conference: STOC ACM Symposium on Theory of Computing
(Submitted)

Ben Guebila, Marouen and Weighill, Deborah and Lopes-Ramos, Camila M. and Burkholz, Rebekka and Pop, Romana T. and Palepu, Kalyan and Shapoval, Mia and Fagny, Maud and Schlauch, Daniel and Glass, Kimberly and Altenbuchinger, Michael and Kuijjer, Marieke and Platig, John and Quackenbush, John
(2022) An online notebook resource for reproducible inference, analysis and publication of gene regulatory networks.
Nature Methods. ISSN 1548-7091

Bendrissou, Bachir and Gopinath, Rahul and Zeller, Andreas
(2022) "Synthesizing Input Grammars": A Replication Study.
In: PLDI 2022, June 2022, San Diego.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation
(In Press)

Bernhard, Lukas and Rodler, Michael and Holz, Thorsten and Davi, Lucas
(2022) xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64.
In: IEEE EuroS&P 2022, June 6-10, 2022, Genoa, Italy.
Conference: EuroS&P IEEE European Symposium on Security and Privacy

Beutner, Raven and Carral, David and Finkbeiner, Bernd and Hofmann, Jana and Krötzsch, Markus
(2022) Deciding Hyperproperties Combined with Functional Specifications.
In: 37th Annual ACM/IEEE Symposium on Logic in Computer Science.
Conference: LICS IEEE Symposium on Logic in Computer Science
(In Press)

Bharadwaj, Suda and Dimitrova, Rayna and Quattrociocchi, Jesse and Topcu, Ufuk
(2022) Synthesis of Strategies for Autonomous Surveillance on Adversarial Targets.
Robotics and Autonomous Systems, 153. ISSN 0921-8890

Biewer, Sebastian and Dimitrova, Rayna and Fries, Michael and Gazda, Maciej and Heinze, Thomas and Hermanns, Holger and Mousavi, Mohammad Reza
(2022) Conformance Relations and Hyperproperties for Doping Detection in Time and Space.
Logical Methods in Computer Science, 18 (1).

Brandt, Sebastian and Chang, Yi-Jun and Grebı́k, Jan and Grunau, Christoph and Rozhoň, Václav and Vidnyánszky, Zoltán
(2022) Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics.
In: 13th Innovations in Theoretical Computer Science Conference.
Conference: ITCS Innovations in Theoretical Computer Science
(In Press)

Bund, Johannes and Lenzen, Christoph and Medina, Moti
(2022) Small Hazard-Free Transducers.
In: 13th Innovations in Theoretical Computer Science (ITCS).
Conference: ITCS Innovations in Theoretical Computer Science
(In Press)

Burkholz, Rebekka and Laha, Nilanjana and Mukherjee, Rajarshi and Gotovos, Alkis
(2022) ON THE EXISTENCE OF UNIVERSAL LOTTERY TICKETS.
In: The Tenth International Conference on Learning Representations, 25-29 Apr 2022, virtual.
Conference: ICLR International Conference on Learning Representations

C

Chen, Dingfan and Yu, Ning and Fritz, Mario
(2022) RelaxLoss: Defending Membership Inference Attacks without Losing Utility.
In: The Tenth International Conference on Learning Representations.
Conference: ICLR International Conference on Learning Representations

Chen, Min and Zhang, Zhikun and Wang, Tianhao and Backes, Michael and Humbert, Mathias and Zhang, Yang
(2022) Graph Unlearning.
In: ACM SIGSAC Conference on Computer and Communications Security, November 7-11, 2022, Los Angeles, U.S.A..
Conference: CCS ACM Conference on Computer and Communications Security
(In Press)

Chistikov, Dmitry and Majumdar, Rupak and Schepper, Philipp
(2022) Subcubic certificates for CFL reachability.
In: POPL 2022.
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Choi, Wonhyuk and Finkbeiner, Bernd and Piskac, Ruzica and Santolucito, Mark
(2022) Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
In: 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation

Cloosters, Tobias and Willbold, Johannes and Holz, Thorsten and Davi, Lucas
(2022) SGXFuzz: Efficiently Synthesizing Nested Structures for SGX Enclave Fuzzing.
In: USENIX Security Symposium (USENIX Security), 2022..
Conference: USENIX-Security Usenix Security Symposium

Coenen, Norine and Dachselt, Raimund and Finkbeiner, Bernd and Frenkel, Hadar and Hahn, Christopher and Horak, Tom and Metzger, Niklas and Siber, Julian
(2022) Explaining Hyperproperty Violations.
In: 34th International Conference on Computer Aided Verification (CAV 22).
Conference: CAV Computer Aided Verification
(Submitted)

Cong, Tianshuo and He, Xinlei and Zhang, Yang
(2022) SSLGuard: A Watermarking Scheme for Self-supervised Learning Pre-trained Encoders.
In: CCS 2022.
Conference: CCS ACM Conference on Computer and Communications Security

Coupette, Corinna and Dalleiger, Sebastian and Vreeken, Jilles
(2022) Differentially Describing Groups of Graphs.
In: AAAI Conference on Artificial Intelligence.
Conference: AAAI National Conference of the American Association for Artificial Intelligence

D

Demir, Nurullah and Große-Kampmann, Matteo and Urban, Tobias and Wresnegger, Christian and Holz, Thorsten and Pohlmann, Norbert
(2022) Reproducibility and Replicability of Web Measurement Studies.
In: TheWebConf 2022.
Conference: WWW The Web Conference (Formerly: International World Wide Web Conference)

Döttling, Nico and Dujmovic, Jesko
(2022) Maliciously Circuit-Private FHE from Information-Theoretic Principles.
In: 3rd Conference on Information-Theoretic Cryptography (ITC 2022), Boston, MA, USA.
Conference: UNSPECIFIED

E

Easdon, Catherine and Schwarz, Michael and Schwarzl, Martin and Gruss, Daniel
(2022) Rapid Prototyping for Microarchitectural Attacks.
In: 31st USENIX Security Symposium.
Conference: USENIX-Security Usenix Security Symposium

Esmer, Baris Can and Nakos, Vasileios
(2022) On (1+ϵ)-Approximate Block Sparse Recovery.
In: ISIT 2022.
Conference: ISIT IEEE International Symposium on Information Theory
(Submitted)

F

Finkbeiner, Bernd and Fränzle, Martin and Kohn, Florian and Kröger, Paul
(2022) A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation.
Algorithms, 15 (4).

Finkbeiner, Bernd and Gieseking, Manuel and Hecking-Harbusch, Jesko and Olderog, Ernst-Rüdiger
(2022) Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.
In: 30th EACSL Annual Conference on Computer Science Logic (CSL 2022).
Conference: CSL Annual Conference on Computer Science Logic

Finkbeiner, Bernd and Heim, Philippe and Passing, Noemi
(2022) Temporal Stream Logic modulo Theories.
In: ETAPS 2022, Apr 2022, Munich.
Conference: FOSSACS Foundations of Software Science and Computational Structures

Finkbeiner, Bernd and Klein, Felix and Metzger, Niklas
(2022) Live synthesis.
Innovations in Systems and Software Engineering. ISSN 1614-5046

Finkbeiner, Bernd and Mallik, Kaushik and Passing, Noemi and Schledjewski, Malte and Schmuck, Anne-Kathrin
(2022) BOCoSy: Small but Powerful Symbolic Output-Feedback Control.
In: 25th ACM International Conference on Hybrid Systems: Computation and Control.
Conference: HSCC ACM International Conference on Hybrid Systems: Computation and Control

Finkbeiner, Bernd and Metzger, Niklas and Moses, Yoram
(2022) Information Flow Guided Synthesis.
In: 34th International Conference on Computer Aided Verification (CAV 22), August 7-10, 2022, Haifa, Israel.
Conference: CAV Computer Aided Verification
(Unpublished)

Finkbeiner, Bernd and Passing, Noemi
(2022) Compositional synthesis of modular systems.
Innovations in Systems and Software Engineering.

Fischer, Jonas and Burkholz, Rebekka
(2022) PLANT ’N’ SEEK: CAN YOU FIND THE WINNING TICKET?
In: The Tenth International Conference on Learning Representations.
Conference: ICLR International Conference on Learning Representations

Fisman, Dana and Frenkel, Hadar and Zilles, Sandra
(2022) Inferring Symbolic Automata.
In: CSL.
Conference: CSL Annual Conference on Computer Science Logic

Focke, Jacob and Goldberg, Leslie Ann and Roth, Marc and Živný, Stanislav
(2022) Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations.
In: PODS '22.
Conference: PODS ACM SIGMOD-SIGACT-SIGART Conference on Principles of Database Systems
(Submitted)

Focke, Jacob and Marx, Dániel and Rzążewski, Paweł
(2022) Counting list homomorphisms from graphs of bounded treewidth: tight complexity bounds.
In: SODA 2022 - ACM/SIAM Symposium on Discrete Algorithms.
Conference: SODA ACM/SIAM Symposium on Discrete Algorithms
(Submitted)

Focke, Jacob and Roth, Marc
(2022) Counting Small Induced Subgraphs with Hereditary Properties.
In: STOC 2022.
Conference: STOC ACM Symposium on Theory of Computing
(Submitted)

G

Giner, Lukas and Kogler, Andreas and Canella, Claudio and Schwarz, Michael and Gruss, Daniel
(2022) Repurposing Segmentation as a Practical LVI-NULL Mitigation in SGX.
In: 31st USENIX Security Symposium.
Conference: USENIX-Security Usenix Security Symposium

Grunau, Christoph and Rozhoň, Václav and Brandt, Sebastian
(2022) The landscape of distributed complexities on trees and beyond.
In: PODC 2022.
Conference: PODC ACM Symposium on Principles of Distributed Computing
(Submitted)

H

Han, Yi and Chan, Matthew and Aref, Zahra and Tippenhauer, Nils Ole and Zonouz, Saman
(2022) Hiding in Plain Sight? On the Efficacy of Power Side Channel-Based Control Flow Monitoring.
In: USENIX Security Symposium (USENIX Security).
Conference: USENIX-Security Usenix Security Symposium

Hasan, Rakibul and Fritz, Mario
(2022) Understanding Utility and Privacy of Demographic Data in Education Technology by Causal Analysis and Adversarial-Censoring.
In: Privacy Enhancing Technologies.
Conference: PETS Privacy Enhancing Technologies Symposium (was International Workshop of Privacy Enhancing Technologies)

Havrikov, Nikolas and Kampmann, Alexander and Zeller, Andreas
(2022) From Input Coverage to Code Coverage: Systematically Covering Input Structure with k-Paths.
ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X
(Submitted)

K

Kalofolias, Janis and Vreeken, Jilles
(2022) Naming the most Anomalous Cluster in Hilbert Space for Structures with Attribute Information.
In: AAAI Conference on Artificial Intelligence.
Conference: AAAI National Conference of the American Association for Artificial Intelligence

Khodayari, Soheil and Pellegrino, Giancarlo
(2022) The State of the SameSite: Studying the Usage, Effectiveness, and Adequacy of SameSite Cookies.
In: 43rd IEEE Symposium on Security and Privacy (S&P '22).
Conference: SP IEEE Symposium on Security and Privacy

Kogler, Andreas and Gruss, Daniel and Schwarz, Michael
(2022) Minefield: A Software-only Protection for SGX Enclaves against DVFS Attacks.
In: 31st USENIX Security Symposium.
Conference: USENIX-Security Usenix Security Symposium

Kogler, Andreas and Weber, Daniel and Haubenwallner, Martin and Lipp, Moritz and Gruss, Daniel and Schwarz, Michael
(2022) Finding and Exploiting CPU Features using MSR Templating.
In: 43rd IEEE Symposium on Security and Privacy (S&P '22).
Conference: SP IEEE Symposium on Security and Privacy

Krupp, Johannes and Grishchenko, Ilya and Rossow, Christian
(2022) AmpFuzz: Fuzzing for Amplification DDoS Vulnerabilities.
In: USENIX Security Symposium (USENIX Security), 2022..
Conference: USENIX-Security Usenix Security Symposium

L

Lenzen, Christoph and Loss, Julian
(2022) Optimal Clock Synchronization with Signatures.
In: 2022 ACM PODC.
Conference: PODC ACM Symposium on Principles of Distributed Computing

Lenzen, Christoph and Sheikholeslami, Sahar
(2022) A Recursive Early-Stopping Phase King Protocol.
In: ACM Symposium on Principles of Distributed Computing 2022, July 25-29, 2022, Salermo, Italy.
Conference: PODC ACM Symposium on Principles of Distributed Computing
(Submitted)

Li, Zheng and Liu, Yiyong and He, Xinlei and Yu, Ning and Backes, Michael and Zhang, Yang
(2022) Auditing Membership Leakages of Multi-Exit Networks.
In: CCS 2022.
Conference: CCS ACM Conference on Computer and Communications Security

Lipp, Moritz and Gruss, Daniel and Schwarz, Michael
(2022) AMD Prefetch Attacks through Power and Time.
In: 31st USENIX Security Symposium.
Conference: USENIX-Security Usenix Security Symposium

Liu, Yugeng and Wen, Rui and He, Xinlei and Salem, Ahmed and Zhang, Zhikun and Backes, Michael and De Cristofaro, Emiliano and Fritz, Mario and Zhang, Yang
(2022) ML-Doctor: Holistic Risk Assessment of Inference Attacks Against Machine Learning Models.
In: USENIX Security Symposium (USENIX Security), 2022..
Conference: USENIX-Security Usenix Security Symposium
(In Press)

M

Marx, Dániel and Misra, Pranabendu and Neuen, Daniel and Tale, Prafullkumar
(2022) A Framework for Parameterized Subexponential Algorithms for Generalized Cycle Hitting Problems on Planar Graphs.
In: UNSPECIFIED.
Conference: SODA ACM/SIAM Symposium on Discrete Algorithms
(Submitted)

Marx, Dániel and Sandeep, R.B.
(2022) Incompressibility of H-free edge modification problems: Towards a dichotomy.
Journal of Computer and System Sciences, 125. pp. 25-58. ISSN 00220000

Mohtashami, Amirkeivan and Jaggi, Martin and Stich, Sebastian U.
(2022) Masked Training of Neural Networks with Partial Gradients.
In: AISTATS 2022, 28 Mar - 30 Mar 2022, online.
Conference: AISTATS International Conference on Artificial Intelligence and Statistics
(In Press)

N

Neuen, Daniel
(2022) Isomorphism Testing for Graphs Excluding Small Topological Subgraphs.
In: UNSPECIFIED.
Conference: SODA ACM/SIAM Symposium on Discrete Algorithms
(Submitted)

P

Pan, Jiaxin and Wagner, Benedikt
(2022) Lattice-based Signatures with Tight Adaptive Corruptions and More.
In: PKC.
Conference: PKC International Conference on Practice and Theory in Public Key Cryptography

R

Rahimian, Shadi and Kerkouche, Raouf and Kurth, Ina and Fritz, Mario
(2022) Practical Challenges in Differentially-Private Federated Survival Analysis of Medical Data.
In: Conference on Health, Inference, and Learning, April 7-8, 2022, Virtual.
Conference: UNSPECIFIED

Roth, Sebastian and Calzavara, Stefano and Wilhelm, Moritz and Rabitti, Alvise and Stock, Ben
(2022) The Security Lottery: Measuring Client-Side Web Security Inconsistencies.
In: 31st USENIX Security Symposium.
Conference: USENIX-Security Usenix Security Symposium

S

Salem, Ahmed and Backes, Michael and Zhang, Yang
(2022) Get a Model! Model Hijacking Attack Against Machine Learning Models.
In: NDSS 2022, 24 - 28 April 2022, San Diego, California.
Conference: NDSS Network and Distributed System Security Symposium

Salem, Ahmed and Wen, Rui and Backes, Michael and Ma, Shiqing and Zhang, Yang
(2022) Dynamic Backdoor Attacks Against Machine Learning Models.
In: EuroS&P 2022.
Conference: EuroS&P IEEE European Symposium on Security and Privacy

Schlögel, Moritz and Blazytko, Tim and Contag, Moritz and Aschermann, Cornelius and Basler, Julius and Holz, Thorsten and Abbasi, Ali
(2022) Loki: Hardening Code Obfuscation Against Automated Attacks.
In: USENIX Security Symposium (USENIX Security), 2022..
Conference: USENIX-Security Usenix Security Symposium

Schumilo, Sergej and Aschermann, Cornelius and Jemmett, Andrea and Abbasia, Ali and Holz, Thorsten
(2022) Nyx-Net: Network Fuzzing with Incremental Snapshots.
In: EuroSys 2022, April 5-8, 2022, Rennes, France.
Conference: EuroSys Eurosys Conference

Shen, Xinyue and He, Xinlei and Backes, Michael and Blackburn, Jeremy and Zannettou, Savvas and Zhang, Yang
(2022) On Xing Tian and the Perseverance of Anti-China Sentiment Online.
In: ICWSM 2022.
Conference: ICWSM International Conference on Web and Social Media

Shen, Yun and Han, Yufei and Zhang, Zhikun and Chen, Min and Yu, Ting and Backes, Michael and Zhang, Yang and Stringhini, Gianluca
(2022) Finding MNEMON: Reviving Memories of Node Embeddings.
In: The 29th ACM Conference on Computer and Communications Security (CCS), November 7-11, 2022, Los Angeles, U.S.A..
Conference: CCS ACM Conference on Computer and Communications Security
(In Press)

Shen, Yun and He, Xinlei and Han, Yufei and Zhang, Yang
(2022) Model Stealing Attacks Against Inductive Graph Neural Networks.
In: S&P 2022.
Conference: SP IEEE Symposium on Security and Privacy

Singh, Mridula and Roeschlin, Marc and Ranganathan, Aanjhan and Capkun, Srdjan
(2022) V-Range: Enabling Secure Ranging in 5G Wireless Networks.
In: NDSS 2022, 24 - 28 April 2022, San Diego, California.
Conference: NDSS Network and Distributed System Security Symposium
(In Press)

Steinhöfel, Dominic and Zeller, Andreas
(2022) Input Invariants.
In: Technical Track, 2022.
Conference: UNSPECIFIED
(Submitted)

Stransky, Christian and Wiese, Oliver and Roth, Volker and Acar, Yasemin and Fahl, Sascha
(2022) 27 Years and 81 Million Opportunities Later: Investigating the Use of Email Encryption for an Entire University.
In: 43rd IEEE Symposium on Security and Privacy.
Conference: SP IEEE Symposium on Security and Privacy

T

Tsimos, Georgios and Loss, Julian and Papamanthou, Charalampos
(2022) Title: Gossiping for Communication-Efficient Broadcast.
In: CRYPTO 2022.
Conference: CRYPTO Advances in Cryptology
(In Press)

W

Wang, Xueou and Hou, Xiaolu and Rios, Ruben and Tippenhauer, Nils Ole and Ochoa, Martín
(2022) Constrained Proximity Attacks on Mobile Targets.
ACM Trans. Priv. Secur., 25 (2).

Wiegand, Boris and Klakow, Dietrich and Vreeken, Jilles
(2022) Discovering Interpretable Data-to-Sequence Generators.
In: AAAI Conference on Artificial Intelligence.
Conference: AAAI National Conference of the American Association for Artificial Intelligence

Y

Yu, Ning and Skripniuk, Vladislav and Chen, Dingfan and Davis, Larry S. and Fritz, Mario
(2022) Responsible Disclosure of Generative Models Using Scalable Fingerprinting.
In: The Tenth International Conference on Learning Representations, Virtual.
Conference: ICLR International Conference on Learning Representations

Z

Zhang, Zhikun and Chen, Min and Backes, Michael and Shen, Yun and Zhang, Yang
(2022) Inference Attacks Against Graph Neural Networks.
In: 31st USENIX Security Symposium, August 10-12, 2022, Boston, MA, USA.
Conference: USENIX-Security Usenix Security Symposium

Zhou, Junhao and Chen, Yufei and Shen, Chao and Zhang, Yang
(2022) Property Inference Attacks Against GANs.
In: NDSS 2022, 24 - 28 April 2022, San Diego, California.
Conference: NDSS Network and Distributed System Security Symposium

This list was generated on Sun May 22 00:02:25 2022 CEST.