Danfeng Zhang

Dagstuhl Artifacts Ser., 2024

AGORA: Open More and Trust Less in Binary Verification Service.

[BibT_eX]

[DOI]

CoRR, 2024

Click Without Compromise: Online Advertising Measurement via Per User Differential Privacy.

[BibT_eX]

[DOI]

CoRR, 2024

Athena: Analyzing and Quantifying Side Channels of Transport Layer Protocols.

[BibT_eX]

[DOI]

Proceedings of the 33rd USENIX Security Symposium, 2024

TALISMAN: Tamper Analysis for Reference Monitors.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

Veiled Pathways: Investigating Covert and Side Channels Within GPU Uncore.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE/ACM International Symposium on Microarchitecture, 2024

{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming.

[BibT_eX]

[DOI]

Quan Zhou

Sixuan Dang

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Quantifying and Mitigating Cache Side Channel Leakage with Differential Set.

[BibT_eX]

[DOI]

Cong Ma

Dinghao Wu

Gang Tan

Proc. ACM Program. Lang., October, 2023

Free gap estimates from the exponential mechanism, sparse vector, noisy max and related algorithms.

[BibT_eX]

[DOI]

VLDB J., January, 2023

PrecipGradeNet: A New Paradigm and Model for Precipitation Retrieval with Grading of Precipitation Intensity.

[BibT_eX]

[DOI]

Remote. Sens., January, 2023

Answering Private Linear Queries Adaptively using the Common Mechanism.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2023

Improving bowel preparation for colonoscopy with a smartphone application driven by artificial intelligence.

[BibT_eX]

[DOI]

npj Digit. Medicine, 2023

A Floating-Point Secure Implementation of the Report Noisy Max with Gap Mechanism.

[BibT_eX]

[DOI]

CoRR, 2023

An Optimal and Scalable Matrix Mechanism for Noisy Marginals under Convex Loss Functions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Hardware Support for Constant-Time Programming.

[BibT_eX]

[DOI]

Yuanqing Miao

Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

Learning Discrete Document Representations in Web Search.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

2022

Demystifying Arch-hints for Model Extraction: An Attack in Unified Memory System.

[BibT_eX]

[DOI]

CoRR, 2022

Path following method for a snake robot based on virtual edge guidance strategy.

[BibT_eX]

[DOI]

Jinna Li

Wenhua Tao

Proceedings of the 17th IEEE International Conference on Control & Automation, 2022

Towards a General-Purpose Dynamic Information Flow Policy.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Performant Binary Fuzzing without Source Code using Static Instrumentation.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Conference on Communications and Network Security, 2022

2021

Optimizing Fitness-For-Use of Differentially Private Linear Queries.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2021

SpecSafe: detecting cache side channels in a speculative world.

[BibT_eX]

[DOI]

Robert Brotzman

Gang Tan

Proc. ACM Program. Lang., 2021

Understanding TEE Containers, Easy to Use? Hard to Trust.

[BibT_eX]

[DOI]

CoRR, 2021

The Permute-and-Flip Mechanism is Identical to Report-Noisy-Max with Exponential Noise.

[BibT_eX]

[DOI]

Zeyu Ding

Daniel Kifer

Sayed M. Saghaian N. E.

CoRR, 2021

Fluid: a framework for approximate concurrency via controlled dependency relaxation.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Ghost Thread: Effective User-Space Cache Side Channel Protection.

[BibT_eX]

[DOI]

Proceedings of the CODASPY '21: Eleventh ACM Conference on Data and Application Security and Privacy, 2021

DPGen: Automated Program Synthesis for Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Guidelines for Implementing and Auditing Differentially Private Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Longitudinal associations among neuroticism, depression, and cyberbullying in early adolescents.

[BibT_eX]

[DOI]

E. Scott Huebner

Lili Tian

Comput. Hum. Behav., 2020

Integrating Co-Clustering and Interpretable Machine Learning for the Prediction of Intravenous Immunoglobulin Resistance in Kawasaki Disease.

[BibT_eX]

[DOI]

IEEE Access, 2020

Application of Deep Learning for Online Handwritten Mathematical Expression Recognition: A Review.

[BibT_eX]

[DOI]

Jun Tan

Proceedings of the Pattern Recognition and Artificial Intelligence, 2020

BCoal: Bucketing-Based Memory Coalescing for Efficient and Secure GPUs.

[BibT_eX]

[DOI]

Gurunath Kadam

Adwait Jog

Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2020

CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Proving differential privacy with shadow execution.

[BibT_eX]

[DOI]

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Three Orthogonal Vanishing Points Estimation in Structured Scenes Using Convolutional Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

2018

A derivation framework for dependent security label inference.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Toward Detecting Violations of Differential Privacy.

[BibT_eX]

[DOI]

CoRR, 2018

Radial Lens Distortion Correction by Adding a Weight Layer with Inverted Foveal Models to Convolutional Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Pattern Recognition, 2018

RCoal: Mitigating GPU Timing Attack via Subwarp-Based Randomized Coalescing Techniques.

[BibT_eX]

[DOI]

Gurunath Kadam

Adwait Jog

Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2018

Detecting Violations of Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

SHErrLoc: A Static Holistic Error Locator.

[BibT_eX]

[DOI]

Dimitrios Vytiniotis

Simon L. Peyton Jones

ACM Trans. Program. Lang. Syst., 2017

Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report.

[BibT_eX]

[DOI]

CoRR, 2017

PCPPI: a comprehensive database for the prediction of Penicillium-crop protein-protein interactions.

[BibT_eX]

[DOI]

Database J. Biol. Databases Curation, 2017

CacheD: Identifying Cache-Based Timing Channels in Production Software.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

LightDP: towards automating differential privacy proofs.

[BibT_eX]

[DOI]

Daniel Kifer

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Towards a Flow- and Path-Sensitive Information Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

AutoPriv: Automating Differential Privacy Proofs.

[BibT_eX]

[DOI]

Daniel Kifer

CoRR, 2016

Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on High Performance Computer Architecture, 2016

SecDCP: secure dynamic cache partitioning for efficient timing channel protection.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual Design Automation Conference, 2016

2015

Sound and Practical Methods for Full-System Timing Channel Control.

[BibT_eX]

PhD thesis, 2015

Diagnosing type errors with class.

[BibT_eX]

[DOI]

Dimitrios Vytiniotis

Simon L. Peyton Jones

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

A Hardware Design Language for Timing-Sensitive Information-Flow Security.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Toward general diagnosis of static errors.

[BibT_eX]

[DOI]

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Ironclad Apps: End-to-End Security via Automated Full-System Verification.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2012

Fully Automated Colon Segmentation for the Computation of Complete Colon Centerline in Virtual Colonoscopy.

[BibT_eX]

[DOI]

IEEE Trans. Biomed. Eng., 2012

Language-based control and mitigation of timing channels.

[BibT_eX]

[DOI]

Aslan Askarov

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Distribution rule of corrosion damage morphology parameters for aluminum alloy.

[BibT_eX]

[DOI]

Xiaoming Tan

Yueliang Chen

Proceedings of the 2011 IEEE International Conference on Intelligence and Security Informatics, 2011

Predictive mitigation of timing channels in interactive systems.

[BibT_eX]

[DOI]

Aslan Askarov

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Predictive black-box mitigation of timing channels.

[BibT_eX]

[DOI]

Aslan Askarov

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2008

AspectC2C: a symmetric aspect extension to the C language.

[BibT_eX]

[DOI]

Yao Guo

Xiangqun Chen

ACM SIGPLAN Notices, 2008

Automated Aspect Recommendation through Clustering-Based Fan-in Analysis.

[BibT_eX]

[DOI]