Browse by Research Area

Conference or Workshop Item (A Paper)

(2024) SecurityNet: Assessing Machine Learning Vulnerabilities on Public Models. (In Press)

(2024) Sweep-UC: Swapping Coins Privately.

(2023) Adaptive SGD with Polyak stepsize and Line-search: Robust Convergence and Variance Reduction.

(2023) CryptoBap: A Binary Analysis Platform for Cryptographic Protocols.

(2023) Unsafe Diffusion: On the Generation of Unsafe Images and Hateful Memes From Text-To-Image Models. (Submitted)

(2023) Checking and Sketching Causes on Temporal Sequences. (Submitted)

(2023) On the Node-Averaged Complexity of Locally Checkable Problems on Trees. (Submitted)

(2023) Lattice-based Authenticated Key Exchange with Tight Security.

(2023) Revisiting the Indifferentiability of the Sum of Permutations. (Submitted)

(2023) Fact-Saboteurs: A Taxonomy of Evidence Manipulation Attacks against Fact-Verification Systems. (In Press)

(2023) PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Model.

(2023) UnGANable: Defending Against GAN-based Face Manipulation.

(2023) Why Random Pruning Is All We Need to Start Sparse.

(2023) Revisiting Gradient Clipping: Stochastic bias and tight convergence guarantees.

(2023) Special Properties of Gradient Descent with Large Learning Rates.

(2023) On the effectiveness of partial variance reduction in federated learning with heterogeneous data.

(2023) Not Yet Another Digital ID: Privacy-Preserving Humanitarian Aid Distribution. (In Press)

(2023) Token meets Wallet: Formalizing Privacy and Revocation for FIDO2.

(2023) An EPTAS for Budgeted Matching and Budgeted Matroid Intersection via Representative Sets. (In Press)

(2023) Chopsticks: Fork-Free Two-Round Multi-Signatures from Non-Interactive Assumptions.

(2023) Rai-Choo! Evolving Blind Signatures to the Next Level.

(2023) VENOMAVE: Targeted Poisoning Against Speech Recognition.

(2023) Pseudo Label-Guided Model Inversion Attack via Conditional Generative Adversarial Network.

(2023) Accountable Javascript Code Delivery.

(2023) On the Evolution of (Hateful) Memes by Means of Multimodal Contrastive Learning.

(2023) Computing Square Colorings on Bounded-Treewidth and Planar Graphs. (In Press)

(2023) Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs. (In Press)

(2023) Distributed Maximal Matching and Maximal Independent Set on Hypergraphs. (Submitted)

(2023) An EPTAS for Budgeted Matroid Independent Set. (In Press)

(2022) Towards Tight Security Bounds for OMAC, XCBC and TMAC. (Submitted)

(2022) Most Activation Functions Can Win the Lottery Without Excessive Depth.

(2022) Anti-Factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard). (In Press)

(2022) Computing Generalized Convolutions Faster Than Brute Force. (In Press)

(2022) Domination and Cut Problems on Chordal Graphs with Bounded Leafage. (In Press)

(2022) IBE with Incompressible Master Secret and Small Identity Secrets.

(2022) Preserving privacy with PATE for heterogeneous data.

(2022) Rate-1 Incompressible Encryption from Standard Assumptions.

(2022) Universal Ring Signatures in the Standard Model.

(2022) Amplifying Membership Exposure via Data Poisoning.

(2022) Decentralized Local Stochastic Extra-Gradient for Variational Inequalities.

(2022) Sharper Convergence Guarantees for Asynchronous SGD for Distributed and Federated Learning.

(2022) Efficiently Factorizing Boolean Matrices using Proximal Gradient Descent.

(2022) Auditing Membership Leakages of Multi-Exit Networks.

(2022) Finding MNEMON: Reviving Memories of Node Embeddings. (In Press)

(2022) Graph Unlearning. (In Press)

(2022) Membership Inference Attacks by Exploiting Loss Trajectory.

(2022) On the Privacy Risks of Cell-Based NAS Architectures.

(2022) Why So Toxic? Measuring and Triggering Toxic Behavior in Open-Domain Chatbots.

(2022) ROAST: Robust Asynchronous Schnorr Threshold Signatures.

(2022) SSLGuard: A Watermarking Scheme for Self-supervised Learning Pre-trained Encoders.

(2022) Private Set Generation with Discriminative Information.

(2022) Parameterized Complexity of Weighted Multicut in Trees.

(2022) The Abe-Okamoto Partially Blind Signature Scheme Revisited. (In Press)

(2022) Almost Universally Optimal Distributed Laplacian Solvers via Low-Congestion Shortcuts. (In Press)

(2022) Are Defenses for Graph Neural Networks Robust?

(2022) Efficient Classification of Locally Checkable Problems in Regular Trees. (Submitted)

(2022) Exponential Speedup Over Locality in MPC with Optimal Memory. (Submitted)

(2022) Efficient Adaptively-Secure Byzantine Agreement for Long Messages. (In Press)

(2022) NTRU-$\nu$-um: Secure Fully Homomorphic Encryption from NTRU with Small Modulus. (In Press)

(2022) Randomized Message-Interception Smoothing: Gray-box Certificates for Graph Neural Networks.

(2022) State Machine Replication under Changing Network Conditions. (In Press)

(2022) Realizable and Context-Free Hyperlanguages.

(2022) Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search.

(2022) Classical and Quantum Algorithms for Variants of Subset-Sum via Dynamic Programming.

(2022) A framework for constructing Single Secret Leader Election from MPC. (In Press)

(2022) ML-Doctor: Holistic Risk Assessment of Inference Attacks Against Machine Learning Models.

(2022) Discovering Invariant and Changing Mechanisms from Data.

(2022) Discovering Significant Patterns under Sequential False Discovery Control.

(2022) Inference Attacks Against Graph Neural Networks.

(2022) Teacher Model Fingerprinting Attacks Against Transfer Learning.

(2022) Prophecy Variables for Hyperproperty Verification. (In Press)

(2022) Software Verification of Hyperproperties Beyond k-Safety. (In Press)

(2022) Syndrome Decoding in the Head: Shorter Signatures from Zero-Knowledge Proofs.

(2022) ProgFed: Effective, Communication, and Computation Efficient Federated Learning by Progressive Training.

(2022) Convolutional and Residual Networks Provably Contain Lottery Tickets.

(2022) Inferring Cause and Effect in the Presence of Heteroscedastic Noise.

(2022) Label-Descriptive Patterns and their Application to Characterizing Classification Errors.

(2022) Maliciously Circuit-Private FHE from Information-Theoretic Principles.

(2022) Factoring and Pairings Are Not Necessary for IO: Circular-Secure LWE Suffices.

(2022) How Not to Handle Keys: Timing Attacks on FIDO Authenticator Privacy. (In Press)

(2022) On (1+ϵ)-Approximate Block Sparse Recovery. (Submitted)

(2022) Counting Small Induced Subgraphs with Hereditary Properties.

(2022) Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations.

(2022) Dynamic Backdoor Attacks Against Machine Learning Models.

(2022) On Xing Tian and the Perseverance of Anti-China Sentiment Online.

(2022) Dynamic Time Warping Under Translation: Approximation Guided by Space-Filling Curves.

(2022) B-Cos Networks: Alignment Is All We Need for Interpretability.

(2022) Batch-OT with Optimal Rate.

(2022) Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming. (In Press)

(2022) How Byzantine is a Send Corruption?

(2022) Open-Domain, Content-Based, Multi-Modal Fact-Checking of Out-of-Context Images via Online Resources.

(2022) Model Stealing Attacks Against Inductive Graph Neural Networks.

(2022) Explainable Arguments. (In Press)

(2022) PI-Cut-Choo and Friends: Compact Blind Signatures via Parallel Instance Cut-and-Choose and More. (In Press)

(2022) Practical Post-Quantum Signature Schemes from Isomorphism Problems of Trilinear Forms.

(2022) On the Existence of Universal Lottery Tickets.

(2022) Plant 'n' Seek: Can You Find the Winning Ticket?

(2022) RelaxLoss: Defending Membership Inference Attacks without Losing Utility.

(2022) Responsible Disclosure of Generative Models Using Scalable Fingerprinting.

(2022) Get a Model! Model Hijacking Attack Against Machine Learning Models.

(2022) Property Inference Attacks Against GANs.

(2022) Practical Challenges in Differentially-Private Federated Survival Analysis of Medical Data.

(2022) Lattice-based Signatures with Tight Adaptive Corruptions and More.

(2022) Understanding Utility and Privacy of Demographic Data in Education Technology by Causal Analysis and Adversarial-Censoring.

(2022) Formally Justifying MDL-based Inference of Cause and Effect.

(2022) Lockable Obfuscation from Circularly Insecure Fully Homomorphic Encryption.

(2022) Differentially Describing Groups of Graphs.

(2022) Discovering Interpretable Data-to-Sequence Generators.

(2022) Naming the most Anomalous Cluster in Hilbert Space for Structures with Attribute Information.

(2022) On Pairing-Free Blind Signature Schemes in the Algebraic Group Model.

(2022) Two-Round Oblivious Linear Evaluation from Learning with Errors.

(2022) Algebraic Restriction Codes and their Applications.

(2022) Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics. (In Press)

(2022) Small Hazard-Free Transducers. (In Press)

(2022) Subcubic certificates for CFL reachability.

(2022) Counting list homomorphisms from graphs of bounded treewidth: tight complexity bounds.

(2022) A Framework for Parameterized Subexponential Algorithms for Generalized Cycle Hitting Problems on Planar Graphs. (Submitted)

(2022) Generalization of Neural Combinatorial Solvers Through the Lens of Adversarial Robustness.

(2022) Interaction-Preserving Compilers for Secure Computation.

(2022) Isomorphism Testing for Graphs Excluding Small Topological Subgraphs. (Submitted)

(2021) The Peril of Popular Deep Learning Uncertainty Estimation Methods.

(2021) Elastic-Tweak: A Framework for Short Tweak Tweakable Block Cipher.

(2021) Revisiting the Security of COMET Authenticated Encryption Scheme.

(2021) tHyENA: Making HyENA Even Smaller.

(2021) Light-OCB: Parallel Lightweight Authenticated Cipher with Full Security.

(2021) Fine-tuning the ISO/IEC Standard Lightmac. (Submitted)

(2021) AHEAD: Adaptive Hierarchical Decomposition for Range Query under Local Differential Privacy.

(2021) Continuous Release of Data Streams under both Centralized and Local Differential Privacy.

(2021) Differential Privacy Defenses and Sampling Attacks for Membership Inference.

(2021) Membership Inference Attacks Against Recommender Systems.

(2021) Membership Leakage in Label-Only Exposures.

(2021) Quantifying and Mitigating Privacy Risks of Contrastive Learning.

(2021) "What's in the box?!": Deflecting Adversarial Attacks by Randomly Deploying Adversarially-Disjoint Models.

(2021) When Machine Unlearning Jeopardizes Privacy.

(2021) Laconic Private Set Intersection and Applications.

(2021) On the Impossibility of Purely Algebraic Signatures.

(2021) Rate-1 Quantum Fully Homomorphic Encryption.

(2021) Validation of Side-Channel Models via Observation Refinement.

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

(2021) Dual Contrastive Loss and Attention for GANs.

(2021) With a Little Help from My Friends: Constructing Practical Anonymous Credentials. (In Press)

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

(2021) SampleFix: Learning to Generate Functionally Diverse Fixes.

(2021) SampleFix: Learning to Generate Functionally Diverse Fixes. (Submitted)

(2021) Isomorphism Testing Parameterized by Genus and Beyond.

(2021) PrivSyn: Differentially Private Data Synthesis.

(2021) Stealing Links from Graph Neural Networks.

(2021) Beyond the Spectrum: Detecting Deepfakes via Re-Synthesis.

(2021) Degrees and Gaps: Tight Complexity Results of General Factor Problems Parameterized by Treewidth and Cutwidth.

(2021) InfoScrub: Towards Attribute Privacy by Targeted Obfuscation.

(2021) Modern Lower Bound Techniques in Database Theory and Constraint Satisfaction.

(2021) Convolutional Dynamic Alignment Networks for Interpretable Classifications.

(2021) Hijack-GAN: Unintended-Use of Pretrained, Black-Box GANs.

(2021) MLCapsule: Guarded Offline Deployment of Machine Learning as a Service.

(2021) On Compositional Information Flow Aware Refinement.

(2021) On the Computational Tractability of a Geographic Clustering Problem Arising in Redistricting.

(2021) Multiparty Cardinality Testing for Threshold Private Intersection.

(2021) Universal Proxy Re-Encryption.

(2021) Adversarial Watermarking Transformer: Towards Tracing Text Provenance with Data Hiding.

(2021) “Go eat a bat, Chang!”: On the Emergence of Sinophobic Behavior on Web Communities in the Face of COVID-19.

(2021) Do winning tickets exist before DNN training?

(2021) Faster Stackelberg Planning via Symbolic Search and Information Sharing.

(2021) Future Moment Assessment for Action Query.

(2021) On the Semantic Expressiveness of Recursive Types.

(2021) BadNL: Backdoor Attacks against NLP Models with Semantic-preserving Improvements.

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

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

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

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

(2020) A Combinatorial Approach to Quantum Random Functions.

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

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

(2020) Isomorphism Testing for Graphs Excluding Small Minors.

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

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

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

(2020) Minting Mechanisms for (PoS) Blockchains.

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

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

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

(2020) Membership Inference Against DNA Methylation Databases.

(2020) Type-Directed Scheduling of Streaming Accelerators.

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

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

(2020) Synthetic Convolutional Features for Improved Semantic Segmentation.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(2020) TrollThrottle — Raising the Cost of Astroturfing.

(2020) Towards Plausible Graph Anonymization.

(2020) Explainable Data Decompositions. (In Press)

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

(2020) Hardness of LWE on General Entropic Distribution.

(2020) Tight Verifiable Delay Functions.

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

(2020) Verifiable Timed Signatures Made Practical.

(2019) How to Prove Your Model Belongs to You: A Blind-Watermark based Framework to Protect Intellectual Property of DNN.

(2019) MemGuard: Defending against Black-Box Membership Inference Attacks via Adversarial Examples.

(2019) Laconic Conditional Disclosure of Secrets and Applications. (In Press)

(2019) Attributing Fake Images to GANs: Learning and Analyzing GAN Fingerprints.

(2019) Deep Appearance Maps.

(2019) Trapdoor Hash Functions and Their Applications.

(2019) Fairwalk: Towards Fair Graph Embedding.

(2019) Knockoff Nets: Stealing Functionality of Black-Box Models.

(2019) Not Using the Car to See the Sidewalk: Quantifying and Controlling the Effects of Context in Classification and Segmentation.

(2019) Time-Conditioned Action Anticipation in One Shot.

(2019) Language in Our Time: An Empirical Analysis of Hashtags.

(2019) ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code.

(2019) MBeacon: Privacy-Preserving Beacons for DNA Methylation Data.

(2019) ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models.

(2019) Bayesian Prediction of Future Street Scenes using Synthetic Likelihoods.

(2019) Continuous Non-Malleable Codes in the 8-Split-State Model.

(2019) Discovering Reliable Correlations in Categorical Data.

(2019) Discovering Reliable Dependencies from Data: Hardness and Improved Algorithms (Extended Abstract).

(2019) Discovering Robustly Connected Subgraphs with Simple Descriptions.

(2019) Discovering Robustly Connected Subgraphs with Simple Descriptions.

(2019) Discovering Robustly Connected Subgraphs with Simple Descriptions.

(2019) Efficient Non-Interactive Zero-Knowledge Proofs in Cross-Domains without Trusted Setup. (In Press)

(2019) Efficient UC Commitment Extension with Homomorphism for Free (and Applications). (In Press)

(2019) Fashion is Taking Shape: Understanding Clothing Preference Based on Body Shape From Online Sources.

(2019) GDPR-Compliant Reputation System Based on Self-certifying Domain Signatures.

(2019) Incremental Proofs of Sequential Work. (Unpublished)

(2019) Leveraging Linear Decryption: Rate-1 Fully-Homomorphic Encryption and Time-Lock Puzzles. (In Press)

(2019) Privacy-aware eye tracking using differential privacy.

(2019) Rate-1 Trapdoor Functions from the Diffie-Hellman Problem. (In Press)

(2019) Ring Signatures: Logarithmic Size, No Setup -- from Standard Assumptions.

(2018) Adversarial Scene Editing: Automatic Object Removal from Weak Supervision.

(2018) A Hybrid Model for Identity Obfuscation by Face Replacement.

(2018) Diverse Conditional Image Generation by Stochastic Regression with Latent Drop-Out Codes.

(2018) Sequential Attacks on Agents for Long-Term Adversarial Goals. (In Press)

(2018) A4NT: Author Attribute Anonymity by Adversarial Training of Neural Machine Translation.

(2018) Long-Term Image Boundary Prediction.

(2018) Dissecting Privacy Risks in Biomedical Data.

(2018) Tagvisor: A Privacy Advisor for Sharing Hashtags.

(2018) Accurate and Diverse Sampling of Sequences Based on a “Best of Many” Sample Objective.

(2018) Answering Visual What-If Questions: From Actions to Predicted Scene Descriptions.

(2018) Connecting Pixels to Privacy and Utility: Automatic Redaction of Private Information in Images.

(2018) Disentangled Person Image Generation.

(2018) Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure.

(2018) Long-Term On-Board Prediction of People in Traffic Scenes under Uncertainty.

(2018) Natural and Effective Obfuscation by Head Inpainting.

(2018) New Constructions of Identity-Based and Key-Dependent Message Secure Encryption Schemes.

(2018) Obfuscation from Low Noise Multilinear Maps.

(2018) PRIMA: Privacy-Preserving Identity and Access Management at Internet-Scale.

(2018) Privacy-Preserving Similar Patient Queries for Combined Biomedical Data. (In Press)

(2018) Stackelberg Planning: Towards Effective Leader-Follower State Space Search.

(2018) Towards Reverse-Engineering Black-Box Neural Networks.

(2018) Two-Message Statistically Sender-Private OT from LWE.

(2017) Reconciling Privacy and Utility in Continuous-Time Diffusion Networks.

(2017) Predicting the Category and Attributes of Visual Search Targets Using Deep Gaze Pooling.

(2017) Identifying Personal DNA Methylation Profiles by Genotype Inference.

(2017) DeepCity: A Feature Learning Framework for Mining Location Check-ins.

(2017) An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.

(2017) P2P Mixing and Unlinkable Bitcoin Transactions.

(2017) Distilling Information Reliability and Source Trustworthiness from Digital Traces.

(2017) A Domain Based Approach to Social Relation Recognition.

(2017) Exploiting saliency for object segmentation from image level labels.

(2017) Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment.

(2017) STD2P: RGBD Semantic Segmentation Using Spatio-Temporal Data-Driven Pooling.

(2017) Adversarial Image Perturbation for Privacy Protection — A Game Theory Perspective.

(2017) Concurrently Composable Security with Shielded Super-Polynomial Simulators.

(2017) Cryptanalysis of Indistinguishability Obfuscations of Circuits over GGH13.

(2017) From Selective IBE to Full IBE and Selective HIBE.

(2017) Identity-Based Encryption from the Diffie-Hellman Assumption.

(2017) It's Written All Over Your Face: Full-Face Appearance-Based Gaze Estimation.

(2017) Laconic Oblivious Transfer and Its Applications.

(2017) Learning Dilation Factors for Semantic Segmentation of Street Scenes.

(2017) Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model.

(2017) Speaking the Same Language: Matching Machine to Human Captions by Adversarial Training.

(2017) TinyOLE: Efficient Actively Secure Two-Party Computation from Oblivious Linear Function Evaluation.

(2017) Towards a Visual Privacy Advisor: Understanding and Predicting Privacy Risks in Images.

(2017) Visual stability prediction for robotic manipulation.

(2017) What is Around the Camera?

(2016) Efficient Cryptographic Password Hardening Services From Partially Oblivious Commitments.

(2016) Membership Privacy in MicroRNA-based Studies.

(2016) On Statistically Secure Obfuscation with Approximate Correctness.

(2016) Two Message Oblivious Evaluation of Cryptographic Functionalities.

(2016) Privacy in Epigenetics: Temporal Linkability of MicroRNA Expression Profiles.

(2016) SGX-Enabled Oblivious Machine Learning.

(2016) R-Susceptibility: An IR-Centric Approach to Assessing Privacy Risks for Users in Online Communities.

(2016) Demo: I-Pic: A Platform for Privacy-Compliant Image Capture.

(2016) Nearly Optimal Verifiable Data Streaming.

(2016) Anonymous RAM.

(2016) Efficient Sanitizable Signatures Without Random Oracles.

(2016) Efficient Unlinkable Sanitizable Signatures from Signatures with Re-randomizable Keys.

(2016) Faceless Person Recognition: Privacy Implications in Social Media.

(2016) Forgetting in Social Media: Understanding and Controlling Longitudinal Exposure of Socially Shared Data.

(2016) I-Pic: A Platform for Privacy-Compliant Image Capture.

(2016) Learning Deep Representations of Fine-Grained Visual Descriptions.

(2016) Loss Functions for Top-k Error: Analysis and Insights.

(2016) Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications.

(2016) Practical Undoability Checking via Contingent Planning.

(2016) Recognition of Ongoing Complex Activities by Sequence Prediction over a Hierarchical Label Space.

(2016) Revisiting Goal Probability Analysis in Probabilistic Planning.

(2016) SPARTA: A Scheduling Policy for Thwarting Differential Power Analysis Attacks.

(2016) Strengthening Weak Identities Through Inter-Domain Trust Transfer.

(2016) Deep Reflectance Maps.

(2016) Learning to Select Long-Track Features for Structure-From-Motion and Visual SLAM.

(2016) Mean Box Pooling: A Rich Image Representation and Output Embedding for the Visual Madlibs Task.

(2016) Multi-cue Zero-Shot Learning with Strong Supervision.

(2016) Rate-1, Linear Time and Additively Homomorphic UC Commitments.

(2016) Towards Segmenting Consumer Stereo Videos: Benchmark, Baselines and Ensembles.

(2016) Two-Message, Oblivious Evaluation of Cryptographic Functionalities.

(2016) VConv-DAE: Deep Volumetric Shape Learning Without Object Labels.

(2016) Xplore-M-Ego: Contextual Media Retrieval Using Natural Language Queries.

(2015) Your Choice MATor(s): Large-scale Quantitative Anonymity Assessment of Tor Path Selection Algorithms Against Structural Attacks.

(2015) Liar, Liar, Coins on Fire! — Penalizing Equivocation By Loss of Bitcoins.

(2015) POSTER: In the Net of the Spider - Measuring the Anonymity-Impact of Network-level Adversaries Against Tor.

(2015) Efficient Pseudorandom Functions via On-the-Fly Adaptation.

(2015) Symbolic Malleable Zero-knowledge Proofs.

(2015) Foundations of Reconfigurable PUFs.

(2015) ADSNARK: Nearly-Practical Privacy-Preserving Proofs on Authenticated Data.

(2015) Privacy and Access Control for Outsourced Personal Records.

(2015) PriCL: Creating a Precedent. A Framework for Reasoning about Privacy Case Law.

(2015) Fully Secure Inner-Product Proxy Re-Encryption with constant size Ciphertext.

(2015) Back to the Past: Source Identification in Diffusion Networks from Partially Observed Cascades.

(2015) Classifier based graph construction for video segmentation.

(2015) Efficient Output Kernel Learning for Multiple Tasks.

(2015) Herd: A Scalable, Traffic Analysis Resistant Anonymity Network for VoIP Systems.

(2015) Red-Black Planning: A New Tractability Analysis and Heuristic Function.

(2015) Secrecy without Perfect Randomness: Cryptography with (Bounded) Weak Sources.

(2015) Simulated Penetration Testing: From "Dijkstra" to "Turing Test++".

(2015) Strength in Numbers: Robust Tamper Detection in Crowd Computations.

(2015) VeriStream - A Framework for Verifiable Data Streaming.

(2015) Verifiably Encrypted Signatures: Security Revisited and a New Construction.

(2015) Appearance-based gaze estimation in the wild.

(2015) Ask Your Neurons: A Neural-Based Approach to Answering Questions about Images.

(2015) Efficient Pseudorandom Functions via On-the-Fly Adaptation.

(2015) From Stateful Hardware to Resettable Hardware Using Symmetric Assumptions.

(2015) General Statistically Secure Computation with Bounded-Resettable Hardware Tokens.

(2015) Joint segmentation and activity discovery using semantic and temporal priors.

(2015) Linear Secret Sharing Schemes from Error Correcting Codes and Universal Hash Functions.

(2015) Low Noise LPN: KDM Secure Public Key Encryption and Sample Amplification.

(2015) Person Recognition in Personal Photo Collections.

(2015) Prediction of search targets from fixations in open-world settings.

(2015) See the Difference: Direct Pre-Image Reconstruction and Pose Estimation by Differentiating HOG.

(2015) Teaching robots the use of human tools from demonstration with non-dexterous end-effectors.

(2014) DEMO: Enhancing Security and Privacy with Google Glass.

(2014) (Nothing else) MATor(s): Monitoring the Anonymity of Tor's Path Selection.

(2014) Lime: Data Lineage in the Malicious Environment.

(2014) Feasibility and Infeasibility of Secure Computation with Malicious PUFs.

(2014) Asynchronous MPC with a Strict Honest Majority Using Non-equivocation.

(2014) BackRef: Accountability in Anonymous Communication Networks.

(2014) X-pire 2.0 - A User-Controlled Expiration Date and Copy Protection Mechanism.

(2014) Beyond Access Control: Managing Online Privacy via Exposure.

(2014) Bridging the Gap Between Digital Cryptography and the Physical World.

(2014) Brief Announcement: Towards Security and Privacy for Outsourced Data in the Multi-party Setting.

(2014) CoinShuffle: Practical Decentralized Coin Mixing for Bitcoin.

(2014) (Efficient) Universally Composable Oblivious Transfer Using a Minimal Number of Stateless Tokens.

(2014) Improved Features for Runtime Prediction of Domain-Independent Planners.

(2014) Learning Pruning Rules for Heuristic Search Planning.

(2014) Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.

(2014) A Modular Framework for Multi-Factor Authentication and Key Exchange.

(2014) On Tight Security Proofs for Schnorr Signatures.

(2014) Optimizing Planning Domains by Automatic Action Schema Splitting.

(2014) PIDGIN: Privacy-preserving Interest and Content Sharing in Opportunistic Networks.

(2014) Private-by-Design Advertising Meets the Real World.

(2014) Scalable Multitask Representation Learning for Scene Classification.

(2014) Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.

(2014) Anytime Recognition of Objects and Scenes.

(2014) Image-Based Synthesis and Re-synthesis of Viewpoints Guided by 3D Models.

(2014) A Multi-World Approach to Question Answering about Real-World Scenes based on Uncertain Input.

(2014) Object Disambiguation for Augmented Reality Applications.

(2013) Verifiable Delegation of Computation on Outsourced Data.

(2013) Differentially Private Smart Metering with Battery Recharging.

(2013) AnoA: A Framework For Analyzing Anonymous Communication Protocols.

(2013) Limitations of the Meta-reduction Technique: The Case of Schnorr Signatures.

(2013) Preventing Side-Channel Leaks in Web Traffic: A Formal Approach.

(2013) Algebraic (Trapdoor) One-Way Functions and Their Applications.

(2013) Asynchronous Computational VSS with Reduced Communication Complexity.

(2013) Automated Security Proofs for Almost-Universal Hash for MAC Verification.

(2013) Constrained fractional set programs and their application in local clustering and community detection.

(2013) Contractions, Removals and How to Certify 3-Connectivity in Linear Time.

(2013) Differential Privacy by Typing in Security Protocols.

(2013) Identity-Based Steganography and Its Applications to Censorship Resistance.

(2013) Learning People Detectors for Tracking in Crowded Scenes.

(2013) Limitations of the Meta-reduction Technique: The Case of Schnorr Signatures.

(2013) Poster: Identity-Based Steganography and Its Applications to Censorship Resistance.

(2013) Practical Homomorphic MACs for Arithmetic Circuits.

(2013) Privacy-Preserving Accountable Computation.

(2013) Pseudorandom signatures.

(2013) Real-time High Performance Deformable Models for Face Detection in the Wild.

(2013) Robust Multi-resolution Pedestrian Detection in Traffic Scenes.

(2013) SplitX: high-performance private analytics.

(2013) Strong Appearance and Expressive Spatial Models for Human Pose Estimation.

(2013) Supporting Complex Queries and Access Policies for Multi-user Encrypted Databases.

(2013) Towards Efficient Traffic-analysis Resistant Anonymity Networks.

(2013) Towards practical privacy-preserving Digital Rights Management for Cloud Computing.

(2013) Towards realistic team formation in social networks based on densest subgraphs.

(2013) Tweet4act: Using Incident-Specific Profiles for Classifying Crisis-Related Messages.

(2013) Unlinkable content playbacks in a multiparty DRM system.

(2013) Vector Commitments and Their Applications.

(2013) Implementing Resettable UC-Functionalities with Untrusted Tamper-Proof Hardware-Tokens.

(2013) Learning Smooth Pooling Regions for Visual Recognition.

(2013) Lossy Codes and a New Variant of the Learning-With-Errors Problem.

(2013) Multi-class Video Co-segmentation with a Generative Multi-video Model.

(2013) Sequential Bayesian Model Update under Structured Scene Prior for Semantic Road Scenes Labeling.

(2012) Non-tracking Web Analytics.

(2012) Ace: An Efficient Key-Exchange Protocol for Onion Routing.

(2012) Brief announcement: distributed cryptography using trinc.

(2012) ObliviAd: Provably Secure and Practical Online Behavioral Advertising.

(2012) ACTORS: A Goal-Driven Approach for Capturing and Managing Consent in e-Health Systems.

(2012) Accountability and Trust in Cooperative Information Systems.

(2012) Adding query privacy to robust DHTs.

(2012) Articulated People Detection and Pose Estimation: Reshaping the Future.

(2012) Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification. (Unpublished)

(2012) Diffusion-Based Image Compression in Steganography.

(2012) History-Free Sequential Aggregate Signatures.

(2012) Monitoring compliance policies over incomplete and disagreeing logs.

(2012) On the (Non-)Equivalence of UC Security Notions.

(2012) On the (limited) power of non-equivocation.

(2012) Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment.

(2012) Provably Secure and Practical Onion Routing.

(2012) Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme.

(2012) Quantum Proofs of Knowledge.

(2012) Security of Blind Signatures Revisited.

(2012) Towards Statistical Queries over Distributed Private User Data.

(2012) Verifiable data streaming.

(2012) Active Metric Learning for Object Recognition.

(2012) IND-CCA Secure Cryptography Based on a Variant of the LPN Problem.

(2012) The Pooled NBNN Kernel: Beyond Image-to-Class and Image-to-Image.

(2012) RALF: A reinforced active learning formulation for object class recognition.

(2012) Recognizing Materials from Virtual Examples.

(2012) Semi-Supervised Learning on a Budget: Scaling Up to Large Datasets.

(2012) Sparselet Models for Efficient Multiclass Object Detection.

(2012) Statistically Secure Linear-Rate Dimension Extension for Oblivious Affine Function Evaluation.

(2012) Timely Object Recognition.

(2011) Auctions in do-not-track compliant internet advertising.

(2011) Attacking and fixing Helios: An analysis of ballot secrecy.

(2011) The Complexity of Quantitative Information Flow Problems.

(2011) Computational Verifiable Secret Sharing Revisited.

(2011) Concurrent composition in the bounded quantum storage model.

(2011) Constructing Mid-Points for Two-Party Asynchronous Protocols.

(2011) I have a DREAM! (DIffeRentially PrivatE smartMetering).

(2011) Information-theoretic Bounds for Differentially Private Mechanisms.

(2011) Obstruction-free Authorization Enforcement: Aligning Security With Business Objectives.

(2011) Poster: ESPOON$_ERBAC$: Enforcing Security Policies in Outsourced Environments with Encrypted RBAC.

(2011) Re-synchronizing Audio Watermarking after Non-linear Time Stretching.

(2011) Regret Minimizing Audits: A Learning-theoretic Basis for Privacy Protection.

(2011) Round Optimal Blind Signatures.

(2011) S3K: seeking statement-supporting top-K witnesses.

(2011) Security for Key Management Interfaces.

(2011) Smart meter privacy using a rechargeable battery: minimizing the rate of information leakage.

(2011) A Statistical Test for Information Leaks Using Continuous Mutual Information.

(2011) Termination-Insensitive Computational Indistinguishability (and applications to computational soundness).

(2011) Vertical Protocol Composition.

(2011) Watermarking for Ontologies.

(2011) Efficient Reductions for Non-signaling Cryptographic Primitives.

(2011) I spy with my little eye: Learning optimal filters for cross-modal stereo under projected patterns.

(2011) Improving the Kinect by Cross-Modal Stereo.

(2011) The NBNN kernel.

(2011) Parametrized shape models for clothing.

(2011) Perception for the manipulation of socks.

(2011) Pick Your Neighborhood - Improving Labels and Neighborhood Structure for Label Propagation.

(2011) Practical 3-D object detection using category and instance-level appearance models.

(2011) Unconditional and Composable Security Using a Single Stateful Tamper-Proof Hardware Token.

(2011) Visual grasp affordances from appearance-based cues.

(2011) A category-level 3-D object dataset: Putting the Kinect to work.

(2011) A probabilistic model for recursive factorized image features.

(2010) Ray - A Secure Microkernel Architecture.

(2010) Vulnerabilities of Wireless Key Exchange Based on Channel Reciprocity.

(2009) Anonymity and Censorship Resistance in Unstructured Overlay Networks.

(2009) CSAR: A practical and provable technique to make randomized systems accountable.

(2009) Security of Robust Audio Hashes.

(2003) A Toolkit for Managing Enterprise Privacy Policies.

Article

(2023) Private Collection Matching Protocols. (In Press)

(2023) Robust Routing Made Easy: Reinforcing Networks Against Non-Benign Faults.

(2023) Inferring Symbolic Automata.

(2023) The Network Zoo: a multilingual package for the inference and analysis of gene regulatory networks.

(2023) Stochastic distributed learning with gradient quantization and double-variance reduction.

(2022) DRAGON: Determining Regulatory Associations using Graphical models on multi-Omic Networks.

(2022) Incompressibility of H-free edge modification problems: Towards a dichotomy.

(2022) Algorithmic aspects of elliptic bases in finite field discrete logarithm algorithms.

(2022) Deploying decentralized, privacy-preserving proximity tracing.

(2022) Locally Checkable Problems in Rooted Trees.

(2022) Exploring accidental triggers of smart speakers. (In Press)

(2022) An online notebook resource for reproducible inference, analysis and publication of gene regulatory networks.

(2022) A Survey on Applications of H-Technique: Revisiting Security Analysis of PRP and PRF.

(2022) Omen: discovering sequential patterns with reliable prediction delays.

(2021) CTET+: A Beyond-Birthday-Bound Secure Tweakable Enciphering Scheme Using a Single Pseudorandom Permutation.

(2021) Data Plane Cooperative Caching with Dependencies.

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

(2021) Privacy considerations for sharing genomics data.

(2021) Almost Tight Lower Bounds for Hard Cutting Problems in Embedded Graphs.

(2021) On Length Independent Security Bounds for the PMAC Family.

(2021) Identity-based Encryption from the Diffie-Hellman Assumption.

(2021) Swarm Learning for decentralized and confidential clinical machine learning.

(2021) Parameterized Intractability of Even Set and Shortest Vector Problem.

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

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

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

(2020) Certified Lattice Reduction.

(2020) Person Recognition in Personal Photo Collections.

(2019) MPIIGaze: Real-World Dataset and Deep Appearance-Based Gaze Estimation.

(2019) Überwachung by Design. (In Press)

(2019) CTRL-PACE: Controlled Randomness for e-Passport Password Authentication.

(2019) Multi-device anonymous authentication.

(2018) The Limitations of Model Uncertainty in Adversarial Settings.

(2018) An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains.

(2018) Datenschutz durch Technikgestaltung für Genomdaten.

(2018) A Survey on Routing in Anonymous Communication Protocols.

(2018) Efficient unlinkable sanitizable signatures from signatures with re-randomizable keys.

(2018) Advanced Steel Microstructural Classification by Deep Learning Methods.

(2018) Anonymisierungsverfahren für genetische Daten.

(2018) MPIIGaze: Real-World Dataset and Deep Appearance-Based Gaze Estimation.

(2018) Reflectance and Natural Illumination from Single-Material Specular Objects Using Deep Learning.

(2017) State Space Search Nogood Learning: Online Refinement of Critical-Path Dead-End Detectors in Planning.

(2017) A4NT: Author Attribute Anonymity by Adversarial Training of Neural Machine Translation.

(2017) Acquiring Target Stacking Skills by Goal-Parameterized Deep Reinforcement Learning.

(2017) Advanced Steel Microstructure Classification by Deep Learning Methods.

(2017) Adversarial Image Perturbation for Privacy Protection - A Game Theory Perspective.

(2017) A Domain Based Approach to Social Relation Recognition.

(2017) Exploiting saliency for object segmentation from image level labels.

(2017) Learning Dilation Factors for Semantic Segmentation of Street Scenes.

(2017) Long-Term On-Board Prediction of People in Traffic Scenes under Uncertainty.

(2017) MPIIGaze: Real-World Dataset and Deep Appearance-Based Gaze Estimation.

(2017) Novel Views of Objects from a Single Image.

(2017) Person Recognition in Social Media Photos.

(2017) Speaking the Same Language: Matching Machine to Human Captions by Adversarial Training.

(2017) Towards a Visual Privacy Advisor: Understanding and Predicting Privacy Risks in Images.

(2017) Visual Decoding of Targets During Visual Search From Human Eye Fixations.

(2016) Adversarial Perturbations Against Deep Neural Networks for Malware Classification.

(2016) A Survey on Routing in Anonymous Communication Protocols.

(2016) Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art.

(2016) Influence Estimation and Maximization in Continuous-Time Diffusion Networks.

(2016) PostBits: using contextual locations for embedding cloud information in the home.

(2016) Recognizing Fine-Grained and Composite Activities Using Hand-Centric Features and Script Data.

(2016) Ask Your Neurons: A Deep Learning Approach to Visual Question Answering.

(2016) Contextual Media Retrieval Using Natural Language Queries.

(2016) DeLight-Net: Decomposing Reflectance Maps into Specular Materials and Natural Illumination.

(2016) Faceless Person Recognition; Privacy Implications in Social Media.

(2016) It's Written All Over Your Face: Full-Face Appearance-Based Gaze Estimation.

(2016) Learning to Detect Visual Grasp Affordance.

(2016) Long-Term Image Boundary Extrapolation.

(2016) Mean Box Pooling: A Rich Image Representation and Output Embedding for the Visual Madlibs Task.

(2016) Multi-Cue Zero-Shot Learning with Strong Supervision.

(2016) Natural Illumination from Multiple Materials Using Deep Learning.

(2016) Novel Views of Objects from a Single Image.

(2016) Predicting the Category and Attributes of Mental Pictures Using Deep Gaze Pooling.

(2016) RGBD Semantic Segmentation Using Spatio-Temporal Data-Driven Pooling.

(2016) Spatio-Temporal Image Boundary Extrapolation.

(2016) To Fall Or Not To Fall: A Visual Approach to Physical Stability Prediction.

(2016) Towards Segmenting Consumer Stereo Videos: Benchmark, Baselines and Ensembles.

(2016) Tutorial on Answering Questions about Images with Deep Learning.

(2016) VConv-DAE: Deep Volumetric Shape Learning Without Object Labels.

(2016) Visual Stability Prediction and Its Application to Manipulation.

(2015) Herd: A Scalable, Traffic Analysis Resistant Anonymity Network for VoIP Systems.

(2015) How well do you blend into the crowd? - d-convergence: A novel paradigm for quantifying privacy in the age of Big-Data.

(2015) Data Lineage in Malicious Environments.

(2015) Quantifying Information Flow in Cryptographic Systems.

(2015) Red-black planning: A new systematic approach to partial delete relaxation.

(2015) Appearance-Based Gaze Estimation in the Wild.

(2015) Ask Your Neurons: A Neural-based Approach to Answering Questions about Images.

(2015) Deep Reflectance Maps.

(2015) GazeDPM: Early Integration of Gaze Information in Deformable Part Models.

(2015) Hard to Cheat: A Turing Test based on Answering Questions about Images.

(2015) Person Recognition in Personal Photo Collections.

(2015) Prediction of search targets from fixations in open-world settings.

(2015) See the Difference: Direct Pre-Image Reconstruction and Pose Estimation by Differentiating HOG.

(2014) Brave New World: Privacy Risks for Mobile Users.

(2014) Detection and Tracking of Occluded People.

(2014) Learning using privileged information: SV M+ and weighted SVM.

(2014) A Tutorial on Human Activity Recognition Using Body-worn Inertial Sensors.

(2014) Learning Multi-Scale Representations for Material Classification.

(2014) A Multi-World Approach to Question Answering about Real-World Scenes based on Uncertain Input.

(2014) A Pooling Approach to Modelling Spatial Relations for Image Retrieval and Annotation.

(2014) Towards a Visual Turing Challenge.

(2013) Off-line/on-line signatures revisited: a general unifying paradigm, efficient threshold variants and experimental results.

(2013) Towards Practical Communication in Byzantine-Resistant DHTs.

(2013) An asymptotically optimal real-time locking protocol for clustered scheduling under suspension-aware analysis.

(2013) Learnable Pooling Regions for Image Classification.

(2012) Polynomial Runtime and Composability.

(2012) A CCA2 Secure Variant of the McEliece Cryptosystem.

(2012) A geometric approach to robotic laundry folding.

(2011) Cryptographically sound security proofs for basic and public-key Kerberos.

(2011) Weakly Supervised Recognition of Daily Life Activities with Wearable Sensors.

Thesis

(2016) CRRP: A Cryptographic Protocol for Coercion-Resistant Rating Platforms.

(2016) Curious Volunteers: Anonymity Impact of adding Tor nodes.

(2016) Making Chromium´s Certificate Transparency integration more accessible.

(2016) Anonymity Guarantees for Tor Hidden Services.

(2015) Applying Privacy Case Law to The Right to be Forgotten.

(2015) Partially Oblivious Pseudorandom Functions: A Generic Approach and an Impossibility Result.

(2015) Argumentation Mining for the Sake of Privacy.

(2015) Correlating BGP and Traceroute Data.

(2015) The MATOR Addon: Accessible Quantification of Tor Anonymity for the Tor Browser.

(2014) Privacy-Preserving Multiparty Digital Rights Management.

(2013) A Developer-Centric Approach to Dynamic Permission System.

(2013) Formal Verification of Cryptographic Security Proofs.

(2013) Generic Access Control for Extensible Web Applications within the SAFE Activation.

(2013) Lime: A Framework for Data Lineage in the Malicious Environment.

(2013) Privacy Preserving Enforcement of Sensitive Policies in Outsourced and Distributed Environments.

(2012) Analysis and Mitigation of Information Leaks in Web Browsing Traffic.

(2012) An Analysis of Traceability of Electronic Identification Documents.

(2012) Computational Soundness of Interactive Primitives.

(2012) A Framework for Security-Oriented Distributed Programming.

(2012) Privacy Preserving Surveillance and Face Recognition.

(2012) Rational Cryptography.

(2012) Security Analysis of Browser Extension Concepts.

(2012) Verifiable Security of Prefix-free Merkle-Damgård.

(2011) Automatic Verification of Equivalences of Cryptographic Games.

(2011) Computational Soundness of Passively Secure Encryption in Presence of Active Adversaries.

(2011) Game-Theoretic Notions of Incoercibility.

(2011) Mechanized Formalization of a Transformation from an Extensible Spi Calculus to Java.

(2011) Towards a Formal Sematics for G2C Summary.

(2011) Union Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis.

(2011) Universally Composable Relativistic Commitments.

Book Section

(2022) On Specifications and Proofs of Timed Circuits.

(2019) Towards Reverse-Engineering Black-Box Neural Networks.

(2019) Datenschutzrecht und Brexit. (In Press)

(2019) From Law to Engineering: A Computer Science Perspective on Privacy & Data Protection. (In Press)

(2019) Kommentierung der §§64, 70, 71, 74 BDSG. (In Press)

(2019) Pseudonymous Signature Schemes.

(2016) Delegatable Functional Signatures.

(2016) From Zoos to Safaris - From Closed-World Enforcement to Open-World Assessment of Privacy.

(2013) Where Next in Object Recognition and how much Supervision Do We Need?

(2013) A Category-Level 3D Object Dataset: Putting the Kinect to Work.

(2012) Flexible and Dynamic Consent-Capturing.

Book

(2019) Pattern Recognition - 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings.

Monograph

(2018) Deep Appearance Maps.

(2018) A Hybrid Model for Identity Obfuscation by Face Replacement.

(2017) Adversarial Image Perturbation for Privacy Protection -- A Game Theory Perspective.

(2017) Speaking the Same Language: Matching Machine to Human Captions by Adversarial Training.

(2017) Towards a Visual Privacy Advisor: Understanding and Predicting Privacy Risks in Images.

(2017) A4NT : Author Attribute Anonymity by Adversarial Training of Neural Machine Translation.

(2017) Connecting Pixels to Privacy and Utility: Automatic Redaction of Private Information in Images.

(2017) Disentangled Person Image Generation.

(2017) Natural and Effective Obfuscation by Head Inpainting.

(2016) Predicting the Category and Attributes of Visual Search Targets Using Deep Gaze Pooling.

(2011) Differentially Private Billing with Rebates.

(2011) X-pire! - A digital expiration date for images in social networks.

Other

(2020) Exorcising Spectres with Secure Compilers.

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

(2019) Memory Safety Preservation for WebAssembly.

(2018) Stellungnahme gegenüber dem Landtag des Saarlandes zum Thema „Stand und Entwicklungsperspektiven der Telemedizin im Saarland“.

(2018) MLCapsule: Guarded Offline Deployment of Machine Learning as a Service.

(2018) Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure (full version).

(2017) Stellungnahme des CISPA zum Entwurf eines Gesetzes zur Förderung der elektronischen Verwaltung im Saarland sowie zur Änderung weiterer Vorschriften.

(2015) Type-Based Verification of Electronic Voting Protocols.

(2014) Differentially Private Data Aggregation with Optimal Utility.

(2012) Everlasting Quantum Security.

(2012) Programmable encryption and key-dependent messages.

(2011) Round Optimal Blind Signatures.