Items where Year is 2020

(2020) Trace-Relating Compiler Correctness and Secure Compilation.

(2020) VisualPhishNet: Zero-Day Phishing Website Detection by Visual Similarity.

(2020) Towards Causal VQA: Revealing and Reducing Spurious Correlations by Invariant and Covariant Semantic Editing.

(2020) Limiting the impact of unreliable randomness in deployed security protocols.

(2020) End User and Expert Perceptions of Threats and Potential Countermeasures.

(2020) BIAS: Bluetooth Impersonation AttackS.

(2020) Key Negotiation Downgrade Attacks on Bluetooth and Bluetooth Low Energy.

(2020) Automatic Optimizations for Stream-based Monitoring Languages. (In Press)

(2020) RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.

(2020) Explainable Reactive Synthesis.

(2020) What is Normal, What is Strange, and What is Missing in an Knowledge Graph.

(2020) Heaps’n’Leaks: How Heap Snapshots Improve Android Taint Analysis.

(2020) Normalizing Flows with Multi-scale Autoregressive Priors.

(2020) Haar Wavelet based Block Autoregressive Flows for Trajectories.

(2020) Stellungnahme zur Anhörung der Enquêtekommission „Digitalisierung im Saarland“ zur wirtschaftlichen Entwicklung im Zuge der Digitalisierung.

(2020) Slitheen++: Stealth TLS-based Decoy Routing.

(2020) Controller Synthesis for Hyperproperties.

(2020) Constant Ciphertext-Rate Non-committing Encryption from Standard Assumptions.

(2020) Hardness of LWE on General Entropic Distribution.

(2020) Lossiness and Entropic Hardness for Ring-LWE.

(2020) Candidate iO from Homomorphic Encryption Schemes. (In Press)

(2020) Towards Post-Quantum Security for Signal's X3DH Handshake. (In Press)

(2020) xOSSig: Leveraging OS Diversity to Automatically Extract Malware Code Signatures.

(2020) Causal Inference on Discrete Data.

(2020) Padding Ain’t Enough: Assessing the Privacy Guarantees of Encrypted DNS.

(2020) Cash, Cards or Cryptocurrencies? A Study of Payment Culture in Four Countries.

(2020) Automatically Granted Permissions in Android apps: An Empirical Study on their Prevalence and on the Potential Threats for Privacy.

(2020) A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking Protection on the Web.

(2020) GS-WGAN: A Gradient-Sanitized Approach for Learning Differentially Private Generators.

(2020) GAN-Leaks: A Taxonomy of Membership Inference Attacks against Generative Models.

(2020) Revisiting the Relationship Between Fault Detection,Test Adequacy Criteria, and Test Set Size.

(2020) SentiNet: Detecting Localized Universal Attack Against Deep Learning Systems.

(2020) The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective.

(2020) How to Build Optimally Secure PRFs Using Block Ciphers. (In Press)

(2020) A Formal Security Analysis of Key Establishment in the Signal Messaging Protocol. (In Press)

(2020) Securing Asynchronous Exceptions.

(2020) Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice. (In Press)

(2020) A Formal Analysis of IEEE 802.11’s WPA2: Countering the Kracks Caused by Cracking the Counters.

(2020) Just Wait For It... Mining Sequential Patterns with Reliable Prediction Delays. (In Press)

(2020) Explainable Data Decompositions. (In Press)

(2020) The Relaxed Maximum Entropy Distribution and its Application to Pattern Discovery. (In Press)

(2020) Minting Mechanisms for (PoS) Blockchains.

(2020) Probabilistic Hyperproperties of Markov Decision Processes.

(2020) Type-Directed Scheduling of Streaming Accelerators.

(2020) Two-Round Oblivious Transfer from CDH or LPN. (In Press)

(2020) Tight Verifiable Delay Functions.

(2020) A Combinatorial Approach to Quantum Random Functions.

(2020) Constrained Concealment Attacks against Reconstruction-based Anomaly Detectors in Industrial Control Systems.

(2020) TrollThrottle — Raising the Cost of Astroturfing.

(2020) On a dual/hybrid approach to small secret LWE.

(2020) Studying JavaScript Security Through Static Analysis.

(2020) AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL.

(2020) Model Checking Branching Properties on Petri Nets with Transits.

(2020) Realizing Omega-regular Hyperproperties.

(2020) Efficient monitoring of hyperproperties using prefix trees.

(2020) Verified Rust Monitors for Lola Specifications.

(2020) Dependency-based Compositional Synthesis.

(2020) Simplex Architecture Meets RTLola.

(2020) Discovering Succinct Pattern Sets Expressing Co-Occurrence and Mutual Exclusivity.

(2020) ≪ I Know Where You Parked Last Summer ≫ Automated Reverse Engineering and Privacy Analysis of Modern Cars.

(2020) Assume, Guarantee or Repair.

(2020) Is FIDO2 the Kingslayer of User Authentication? A Comparative Usability Study of FIDO2 Passwordless Authentication.

(2020) A Spectral Analysis of Noise:A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.

(2020) Abstracting Failure-Inducing Inputs.

(2020) Mining Input Grammars from Dynamic Control Flow.

(2020) Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion.

(2020) Isomorphism Testing for Graphs Excluding Small Minors.

(2020) Novel Is Not Always Better:On the Relation between Novelty and Dominance Pruning.

(2020) On the Parameterized Approximability of Contraction to Classes of Chordal Graphs.

(2020) Membership Inference Against DNA Methylation Databases.

(2020) SampleFix: Learning to Correct Programs by Sampling Diverse Fixes.

(2020) IReEn: Iterative Reverse-Engineering of Black-Box Functions via Neural Program Synthesis.

(2020) Automatically Detecting Bystanders in Photos to Reduce Privacy Risks.

(2020) Segmentations-Leak: Membership Inference Attacks and Defenses in Semantic Image Segmentation.

(2020) Synthetic Convolutional Features for Improved Semantic Segmentation.

(2020) Using Relative Lines of Code to Guide Automated Test Generation for Python.

(2020) Parameterized Verification of Systems with Global Synchronization and Guards. (In Press)

(2020) Promptness and Bounded Fairness in Concurrent and Parameterized Systems. (In Press)

(2020) Certified Lattice Reduction.

(2020) When does my Program do this? Learning Circumstances of Software Behavior. (In Press)

(2020) Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries.

(2020) Simulating Strong Practical Proof Systems with Extended Resolution.

(2020) Debugging Inputs.

(2020) Poster: Debugging Inputs. (In Press)

(2020) Raccoon: Automated Verification of Guarded Race Conditions in Web Applications.

(2020) MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation.

(2020) Semantic Bottlenecks: Quantifying and Improving Inspectability of Deep Representations.

(2020) User Mental Models of Cryptocurrency Systems - A Grounded Theory Approach.

(2020) Discovering Dependencies with Reliable Mutual Information.

(2020) Discovering Functional Dependencies from Mixed-Type Data.

(2020) Chordless Cycle Packing Is Fixed-Parameter Tractable.

(2020) Incompressibility of H-Free Edge Modification Problems: Towards a Dichotomy.

(2020) From LTL to rLTL Monitoring: Improved Monitorability Through Robust Semantics.

(2020) Learning Input Tokens for Effective Fuzzing. (In Press)

(2020) Modular Black-box Runtime Verification of Security Protocols.

(2020) Validation of Abstract Side-Channel Models for Computer Architectures.

(2020) Up2Dep: Android Tool Support to Fix Insecure Code Dependencies.

(2020) Person Recognition in Personal Photo Collections.

(2020) Prediction Poisoning: Towards Defenses Against DNN Model Stealing Attacks.

(2020) Prediction Poisoning: Utility-Constrained Defenses Against Model Stealing Attacks.

(2020) Exorcising Spectres with Secure Compilers.

(2020) Universal Composability is Secure Compilation.

(2020) Discovering Approximate Functional Dependencies using Smoothed Mutual Information.

(2020) DPIFuzz: A Differential Fuzzing Frameworkto Detect DPI Elusion Strategies for QUIC.

(2020) Assessing the Impact of Script Gadgets on CSP at Scale.

(2020) Complex Security Policy? A Longitudinal Analysis of Deployed Content Security Policies.

(2020) A Small Subgroup Attack on Bitcoin Address Generation.

(2020) Updates-Leak: Data Set Inference and Reconstruction Attacks in Online Learning.

(2020) Body Shape Privacy in Images: Understanding Privacy and Preventing Automatic Shape Extraction.

(2020) Deep gaze pooling: Inferring and visually decoding search intents from human gaze fixations.

(2020) On the Parameterized Complexity of Maximum Degree Contraction Problem.

(2020) Fine-Grained Complexity of Regular Expression Pattern Matching and Membership.

(2020) Differential Analysis and Fingerprinting of ZombieLoads on Block Ciphers.

(2020) SENG, the SGX-Enforcing Network Gateway: Authorizing Communication from Shielded Clients.

(2020) Let’s not Trust Experience Blindly: Formal Monitoring of Humans and other CPS.

(2020) Monitoring Cyber-Physical Systems: From Design to Integration.

(2020) How to Win First-Order Safety Games.

(2020) Long-Tailed Recognition Using Class-Balanced Experts.

(2020) Towards Automated Testing and Robustification by Semantic Adversarial Data Generation.

(2020) PMForce: Systematically Analyzing PostMessage Handlers at Scale.

(2020) Deceptive Previews: A Study of the Link Preview Trustworthiness in Social Platforms.

(2020) Cross-Origin State Inference (COSI) Attacks: Leaking Web Site States through XS-Leaks.

(2020) Identifying Domains of Applicability of Machine Learning Models for Materials Science.

(2020) Verifiable Timed Signatures Made Practical.

(2020) Security, Availability, and Multiple Information Sources: Exploring Update Behavior of System Administrators.

(2020) Planning in the Browser.

(2020) Decentralized Privacy-Preserving Proximity Tracing.

(2020) A Statistical Analysis Framework for ICS Process Datasets.

(2020) Memory Safety Preservation for WebAssembly.

(2020) On the Origin of Scanning: The Impact of Location on Internet-Wide Scans.

(2020) Better Code, Better Sharing: On the Need of Analyzing Jupyter Notebooks.

(2020) Testing Apps With Real-World Inputs. (In Press)

(2020) LEAF: A Faster Secure Search Algorithm via Localization, Extraction, and Reconstruction.

(2020) Inclusive GAN: Improving Data and Minority Coverage in Generative Models.

(2020) Artificial Fingerprinting for Generative Models: Rooting Deepfake Attribution in Training Data.

(2020) Towards Plausible Graph Anonymization.

(2020) Automatic Uncovering of Hidden Behaviors from Input Validation in Mobile Apps.

(2020) A Framework for Exponential-Time-Hypothesis--Tight Algorithms and Lower Bounds in Geometric Intersection Graphs.