Browse by Research Area

(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) Private Collection Matching Protocols. (In Press)

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

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

(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) Inferring Symbolic Automata.

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

(2023) VENOMAVE: Targeted Poisoning Against Speech Recognition.

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

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

(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) DRAGON: Determining Regulatory Associations using Graphical models on multi-Omic Networks.

(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) Incompressibility of H-free edge modification problems: Towards a dichotomy.

(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) Algorithmic aspects of elliptic bases in finite field discrete logarithm algorithms.

(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) Deploying decentralized, privacy-preserving proximity tracing.

(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) Locally Checkable Problems in Rooted Trees.

(2022) On Specifications and Proofs of Timed Circuits.

(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) Exploring accidental triggers of smart speakers. (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) An online notebook resource for reproducible inference, analysis and publication of gene regulatory networks.

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

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

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

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

(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) CTET+: A Beyond-Birthday-Bound Secure Tweakable Enciphering Scheme Using a Single Pseudorandom Permutation.

(2021) Data Plane Cooperative Caching with Dependencies.

(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) Semantic Bottlenecks: Quantifying and Improving Inspectability of Deep Representations.

(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) Privacy considerations for sharing genomics data.

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

(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) On Length Independent Security Bounds for the PMAC Family.

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

(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) Swarm Learning for decentralized and confidential clinical machine learning.

(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) Parameterized Intractability of Even Set and Shortest Vector Problem.

(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) A Framework for Exponential-Time-Hypothesis--Tight Algorithms and Lower Bounds in Geometric Intersection Graphs.

(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) Exorcising Spectres with Secure Compilers.

(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) Identifying Domains of Applicability of Machine Learning Models for Materials Science.

(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) Artificial Fingerprinting for Generative Models: Rooting Deepfake Attribution in Training Data.

(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) Deep gaze pooling: Inferring and visually decoding search intents from human gaze fixations.

(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) Certified Lattice Reduction.

(2020) Person Recognition in Personal Photo Collections.

(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) Towards Reverse-Engineering Black-Box Neural Networks.

(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) Pattern Recognition - 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings.

(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) MPIIGaze: Real-World Dataset and Deep Appearance-Based Gaze Estimation.

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

(2019) Datenschutzrecht und Brexit. (In Press)

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

(2019) Memory Safety Preservation for WebAssembly.

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

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

(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) Kommentierung der §§64, 70, 71, 74 BDSG. (In Press)

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

(2019) Multi-device anonymous authentication.

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

(2019) Pseudonymous Signature Schemes.

(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) The Limitations of Model Uncertainty in Adversarial Settings.

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

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

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

(2018) Datenschutz durch Technikgestaltung für Genomdaten.

(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) MLCapsule: Guarded Offline Deployment of Machine Learning as a Service.

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

(2018) Long-Term Image Boundary Prediction.

(2018) Dissecting Privacy Risks in Biomedical Data.

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

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

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

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

(2018) Anonymisierungsverfahren für genetische Daten.

(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) Deep Appearance Maps.

(2018) Disentangled Person Image Generation.

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

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

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

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

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

(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) Reflectance and Natural Illumination from Single-Material Specular Objects Using Deep Learning.

(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) Stellungnahme des CISPA zum Entwurf eines Gesetzes zur Förderung der elektronischen Verwaltung im Saarland sowie zur Änderung weiterer Vorschriften.

(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) Adversarial Image Perturbation for Privacy Protection -- A Game Theory Perspective.

(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) Speaking the Same Language: Matching Machine to Human Captions by Adversarial Training.

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

(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) 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) Adversarial Image Perturbation for Privacy Protection — A Game Theory Perspective.

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

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

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

(2017) Disentangled Person Image Generation.

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

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

(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) Learning Dilation Factors for Semantic Segmentation of Street Scenes.

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

(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) Natural and Effective Obfuscation by Head Inpainting.

(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) 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) Towards a Visual Privacy Advisor: Understanding and Predicting Privacy Risks in Images.

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

(2017) Visual stability prediction for robotic manipulation.

(2017) What is Around the Camera?

(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) Adversarial Perturbations Against Deep Neural Networks for Malware Classification.

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

(2016) Membership Privacy in MicroRNA-based Studies.

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

(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) Anonymity Guarantees for Tor Hidden Services.

(2016) Nearly Optimal Verifiable Data Streaming.

(2016) Anonymous RAM.

(2016) Delegatable Functional Signatures.

(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) From Zoos to Safaris - From Closed-World Enforcement to Open-World Assessment of Privacy.

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

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

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

(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) PostBits: using contextual locations for embedding cloud information in the home.

(2016) Practical Undoability Checking via Contingent Planning.

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

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

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

(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) 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) Deep Reflectance Maps.

(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) Learning to Select Long-Track Features for Structure-From-Motion and Visual SLAM.

(2016) Long-Term Image Boundary Extrapolation.

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

(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) 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) Rate-1, Linear Time and Additively Homomorphic UC Commitments.

(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) Towards Segmenting Consumer Stereo Videos: Benchmark, Baselines and Ensembles.

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

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

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

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

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

(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) Applying Privacy Case Law to The Right to be Forgotten.

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

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

(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) How well do you blend into the crowd? - d-convergence: A novel paradigm for quantifying privacy in the age of Big-Data.

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

(2015) Data Lineage in Malicious Environments.

(2015) Argumentation Mining for the Sake of Privacy.

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

(2015) Classifier based graph construction for video segmentation.

(2015) Correlating BGP and Traceroute Data.

(2015) Efficient Output Kernel Learning for Multiple Tasks.

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

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

(2015) Quantifying Information Flow in Cryptographic Systems.

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

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

(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) Type-Based Verification of Electronic Voting Protocols.

(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) Appearance-based gaze estimation in the wild.

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

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

(2015) Deep Reflectance Maps.

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

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

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

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

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

(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) Person Recognition in Personal Photo Collections.

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

(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) 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) Brave New World: Privacy Risks for Mobile Users.

(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) Detection and Tracking of Occluded People.

(2014) Differentially Private Data Aggregation with Optimal Utility.

(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) Learning using privileged information: SV M+ and weighted SVM.

(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) Privacy-Preserving Multiparty Digital Rights Management.

(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) A Tutorial on Human Activity Recognition Using Body-worn Inertial Sensors.

(2014) Anytime Recognition of Objects and Scenes.

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

(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 Multi-World Approach to Question Answering about Real-World Scenes based on Uncertain Input.

(2014) Object Disambiguation for Augmented Reality Applications.

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

(2014) Towards a Visual Turing Challenge.

(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) A Developer-Centric Approach to Dynamic Permission System.

(2013) Differential Privacy by Typing in Security Protocols.

(2013) Formal Verification of Cryptographic Security Proofs.

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

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

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

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

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

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

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

(2013) Practical Homomorphic MACs for Arithmetic Circuits.

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

(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 Communication in Byzantine-Resistant DHTs.

(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) Where Next in Object Recognition and how much Supervision Do We Need?

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

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

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

(2013) Learnable Pooling Regions for Image Classification.

(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) Analysis and Mitigation of Information Leaks in Web Browsing Traffic.

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

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

(2012) Computational Soundness of Interactive Primitives.

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

(2012) Diffusion-Based Image Compression in Steganography.

(2012) Everlasting Quantum Security.

(2012) Flexible and Dynamic Consent-Capturing.

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

(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) Polynomial Runtime and Composability.

(2012) Privacy Preserving Surveillance and Face Recognition.

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

(2012) Programmable encryption and key-dependent messages.

(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) Rational Cryptography.

(2012) Security Analysis of Browser Extension Concepts.

(2012) Security of Blind Signatures Revisited.

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

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

(2012) Verifiable data streaming.

(2012) Active Metric Learning for Object Recognition.

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

(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.

(2012) A geometric approach to robotic laundry folding.

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

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

(2011) Automatic Verification of Equivalences of Cryptographic Games.

(2011) The Complexity of Quantitative Information Flow Problems.

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

(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) Cryptographically sound security proofs for basic and public-key Kerberos.

(2011) Differentially Private Billing with Rebates.

(2011) Game-Theoretic Notions of Incoercibility.

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

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

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

(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) 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) 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.

(2011) Vertical Protocol Composition.

(2011) Watermarking for Ontologies.

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

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

(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.