BUSEC Publications 2023β2025
Recent publications collected from DBLP for BUSEC faculty, postdocs, and graduate students.
2025
- Privacy in Metalearning and Multitask Learning: Modeling and Separations. β AISTATS
- Private Eyes: Zero-Leakage Iris Searchable Encryption. β CODASPY
- An improved blockchain-based multi-region Federated Learning framework for crop disease diagnosis. β Comput. Electr. Eng.
- Beyond the Worst Case: Extending Differential Privacy Guarantees to Realistic Adversaries. β CoRR
- Cryptis: Cryptographic Reasoning in Separation Logic. β CoRR
- Do You Really Need Public Data? Surrogate Public Data for Differential Privacy on Tabular Data. β CoRR
- DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility. β CoRR
- Enforcing Demographic Coherence: A Harms Aware Framework for Reasoning about Private Data Release. β CoRR
- Every FLOP Counts: Scaling a 300B Mixture-of-Experts LING LLM without Premium GPUs. β CoRR
- Interdependent Bilateral Trade: Information vs Approximation. β CoRR
- Is API Access to LLMs Useful for Generating Private Synthetic Tabular Data? β CoRR
- Privately Evaluating Untrusted Black-Box Functions. β CoRR
- A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs. β CSL
- Kleene Algebra with Commutativity Conditions Is Undecidable. β CSL
- Murmurs of the Silenced: Secure Reporting of Misconduct Settlements. β CSLAW
- Bilateral Trade with Interdependent Values: Information vs. Approximation. β EC
- Zero-Knowledge Mechanisms. β EC
- Snake-Eye Resistant PKE from LWE for Oblivious Message Retrieval and Robust Encryption. β EUROCRYPT
- 6th Symposium on Foundations of Responsible Computing, FORC 2025, June 4-6, 2025, Stanford University, CA, USA β FORC, LIPIcs
- BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs. β FoSSaCS
- SoK: Privacy-Preserving Signatures. β IACR Commun. Cryptol.
- Deniable Secret Sharing. β IACR Cryptol. ePrint Arch.
- SoK: Time to be Selfless?! Demystifying the Landscape of Selfish Mining Strategies and Models. β IACR Cryptol. ePrint Arch.
- Universally Composable Succinct Vector Commitments and Applications. β IACR Cryptol. ePrint Arch.
- Corrections to "The Optimization of Carbon Emission Prediction in Low Carbon Energy Economy Under Big Data". β IEEE Access
- SmartSpr: A Physics-Informed Mobile Sprinkler Scheduling System for Reducing Urban Particulate Matter Pollution. β IEEE Trans. Mob. Comput.
- BiGDC-BrainAgeNet: Enhancing EEG-Based Brain Age Prediction with Bidirectional Graph Diffusion Convolutions. β ISBRA
- Online Versus Offline Adversaries in Property Testing. β ITCS
- Multimodal-information-based optimized agricultural prescription recommendation system of crop electronic medical records. β J. Ind. Inf. Integr.
- Measuring memorization in language models via probabilistic extraction. β NAACL
- Knowledge-guided adaptive spatial-temporal graph contrastive learning framework: Regional crop diseases prediction based on electronic medical records. β Neural Networks
- Mitigation of Power Offset Induced by Hard-Decision-Error in Fiber Longitudinal Power Profile Estimation. β OFC
- Universally Composable Non-interactive Zero-Knowledge from Sigma Protocols via a New Straight-Line Compiler. β PKC
- Fully Dynamic Algorithms for Graph Databases with Edge Differential Privacy. β Proc. ACM Manag. Data
- Probabilistic Refinement Session Types. β Proc. ACM Program. Lang.
- Triangle Counting With Local Edge Differential Privacy. β Random Struct. Algorithms
- Differentially Private Sampling from Distributions. β SIAM J. Comput.
- Local Lipschitz Filters for Bounded-Range Functions with Applications to Arbitrary Real-Valued Functions. β SODA
- Differentially Private Release of Israel's National Registry of Live Births. β SP
- Privately Evaluating Untrusted Black-Box Functions. β STOC
2024
- Testing Connectedness of Images. β Algorithmica
- Not All Learnable Distribution Classes are Privately Learnable. β ALT
- Private PAC Learning May be Harder than Online Learning. β ALT
- Translation of Partially Paired Images with Generative Adversarial Networks. β BHI
- A Canary in the AI Coal Mine: American Jews May Be Disproportionately Harmed by Intellectual Property Dispossession in Large Language Model Training. β CHI
- "Delete it and Move On": Digital Management of Shared Sexual Content after a Breakup. β CHI
- A novel cascaded multi-task method for crop prescription recommendation based on electronic medical record. β Comput. Electron. Agric.
- A Canary in the AI Coal Mine: American Jews May Be Disproportionately Harmed by Intellectual Property Dispossession in Large Language Model Training. β CoRR
- ATTAXONOMY: Unpacking Differential Privacy Guarantees Against Practical Adversaries. β CoRR
- Auditing Privacy Mechanisms via Label Inference Attacks. β CoRR
- Differentially Private Release of Israel's National Registry of Live Births. β CoRR
- Domain Reasoning in TopKAT. β CoRR
- Fully Dynamic Graph Algorithms with Edge Differential Privacy. β CoRR
- Instance-Optimal Private Density Estimation in the Wasserstein Distance. β CoRR
- Kleene algebra with commutativity conditions is undecidable. β CoRR
- Measuring memorization through probabilistic discoverable extraction. β CoRR
- Not All Learnable Distribution Classes are Privately Learnable. β CoRR
- Online versus Offline Adversaries in Property Testing. β CoRR
- Oracle-Efficient Differentially Private Learning with Public Data. β CoRR
- Privacy in Metalearning and Multitask Learning: Modeling and Separations. β CoRR
- Private PAC Learning May be Harder than Online Learning. β CoRR
- Programming Frameworks for Differential Privacy. β CoRR
- Safer Digital Intimacy For Sex Workers And Beyond: A Technical Research Agenda. β CoRR
- Simple Mechanisms for Utility Maximization: Approximating Welfare in the I.I.D. Unit-Demand Setting. β CoRR
- The Sociotechnical Stack: Opportunities for Social Computing Research in Non-consensual Intimate Media. β CoRR
- Time-Aware Projections: Truly Node-Private Graph Statistics under Continual Observation. β CoRR
- A Phenotypic Learning Classifier System for Problems with Continuous Features. β GECCO
- A Note on the Minimality of One-Way Functions in Post-Quantum Cryptography. β IACR Commun. Cryptol.
- Haven++: Batched and Packed Dual-Threshold Asynchronous Complete Secret Sharing with Applications. β IACR Commun. Cryptol.
- A Note on the Minimality of One-Way Functions in Post-Quantum Cryptography. β IACR Cryptol. ePrint Arch.
- Committing AVID with Partial Retrieval and Optimal Storage. β IACR Cryptol. ePrint Arch.
- DoS-resistant Oblivious Message Retrieval from Snake-eye Resistant PKE. β IACR Cryptol. ePrint Arch.
- Fiat-Shamir for Bounded-Depth Adversaries. β IACR Cryptol. ePrint Arch.
- Haven++: Batched and Packed Dual-Threshold Asynchronous Complete Secret Sharing with Applications. β IACR Cryptol. ePrint Arch.
- PerfOMR: Oblivious Message Retrieval with Reduced Communication and Computation. β IACR Cryptol. ePrint Arch.
- Secure Account Recovery for a Privacy-Preserving Web Service. β IACR Cryptol. ePrint Arch.
- Towards general-purpose program obfuscation via local mixing. β IACR Cryptol. ePrint Arch.
- Universally Composable Non-Interactive Zero-Knowledge from Sigma Protocols via a New Straight-line Compiler. β IACR Cryptol. ePrint Arch.
- Domain Reasoning in TopKAT. β ICALP
- The Optimization of Carbon Emission Prediction in Low Carbon Energy Economy Under Big Data. β IEEE Access
- Safer Digital Intimacy for Sex Workers and Beyond: A Technical Research Agenda. β IEEE Secur. Priv.
- Design and Modeling of Large Helical Deformation Composite Actuators Under Complicated Loading Conditions. β IEEE Trans. Instrum. Meas.
- Impacts of Procedural Justice and Ethical Leadership on Organizational Innovation. β Int. J. Asian Bus. Inf. Manag.
- Poster Abstract: Sprinkler-UAV Cooperative Active Scheduling System. β IPSN
- Property Testing with Online Adversaries. β ITCS
- A Deep Neural Network-Based Assistive Decision Method for Financial Risk Prediction in Carbon Trading Market. β J. Circuits Syst. Comput.
- Intelligent Productivity Transformation: Corporate Market Demand Forecasting With the Aid of an AI Virtual Assistant. β J. Organ. End User Comput.
- Combinatorial Auctions with Interdependent Valuations: SOS to the Rescue. β Math. Oper. Res.
- Auditing Privacy Mechanisms via Label Inference Attacks. β NeurIPS
- Instance-Optimal Private Density Estimation in the Wasserstein Distance. β NeurIPS
- Optimal Hypothesis Selection in (Almost) Linear Time. β NeurIPS
- Oracle-Efficient Differentially Private Learning with Public Data. β NeurIPS
- The Sociotechnical Stack: Opportunities for Social Computing Research in Non-Consensual Intimate Media. β Proc. ACM Hum. Comput. Interact.
- Continual Release of Differentially Private Synthetic Data from Longitudinal Data Collections. β Proc. ACM Manag. Data
- Program Analysis for Adaptive Data Analysis. β Proc. ACM Program. Lang.
- Sensitivity by Parametricity. β Proc. ACM Program. Lang.
- SocIoTy: Practical Cryptography in Smart Home Contexts. β Proc. Priv. Enhancing Technol.
- Isoperimetric inequalities for real-valued functions with applications to monotonicity testing. β Random Struct. Algorithms
- Latitudinal Characteristics of Nighttime Electron Temperature in the Topside Ionosphere and Its Dependence on Solar and Geomagnetic Activities. β Remote. Sens.
- Non-Adaptive Matroid Prophet Inequalities. β SAGT
- To Regulate or Not to Regulate: Using Revenue Maximization Tools to Maximize Consumer Utility. β SAGT
- QueryShield: Cryptographically Secure Analytics in the Cloud. β SIGMOD Conference Companion
- Group Oblivious Message Retrieval. β SP
- Time-Aware Projections: Truly Node-Private Graph Statistics under Continual Observation. β SP
- The Role of Local Algorithms in Privacy (Invited Talk). β STACS
- Towards General-Purpose Program Obfuscation via Local Mixing. β TCC
- PerfOMR: Oblivious Message Retrieval with Reduced Communication and Computation. β USENIX Security Symposium
- "I feel physically safe but not politically safe": Understanding the Digital Threats and Safety Practices of OnlyFans Creators. β USENIX Security Symposium
- RADIUS/UDP Considered Harmful. β USENIX Security Symposium
- Secure Account Recovery for a Privacy-Preserving Web Service. β USENIX Security Symposium
- ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. β USENIX Security Symposium
2023
- Report on Logic in Computer Science (LICS'23). β ACM SIGLOG News
- Testing Connectedness of Images. β APPROX/RANDOM
- Control, Confidentiality, and the Right to be Forgotten. β CCS
- Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations. β CCS
- "Nudes? Shouldn't I charge for these?": Motivations of New Sexual Content Creators on OnlyFans. β CHI
- Identification of mutation gene prognostic biomarker in multiple myeloma through gene panel exome sequencing and transcriptome analysis in Chinese population. β Comput. Biol. Medicine
- A Formal Model for Secure Multiparty Computation. β CoRR
- Approximate degree lower bounds for oracle identification problems. β CoRR
- Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities. β CoRR
- Circuit complexity and functionality: a thermodynamic perspective. β CoRR
- Constant Approximation for Private Interdependent Valuations. β CoRR
- Continual Release of Differentially Private Synthetic Data. β CoRR
- Counting Distinct Elements in the Turnstile Model with Differential Privacy under Continual Observation. β CoRR
- Differentially Private Confidence Intervals for Proportions under Stratified Random Sampling. β CoRR
- DP-SIPS: A simpler, more scalable mechanism for differentially private partition selection. β CoRR
- Integrated Simulation Platform for Quantifying the Traffic-Induced Environmental and Health Impacts. β CoRR
- Local Lipschitz Filters for Bounded-Range Functions. β CoRR
- Node-Differentially Private Estimation of the Number of Connected Components. β CoRR
- Property Testing with Online Adversaries. β CoRR
- Stability is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. β CoRR
- Testing Connectedness of Images. β CoRR
- The Complexity of Verifying Boolean Programs as Differentially Private. β CoRR
- Triangle Counting with Local Edge Differential Privacy. β CoRR
- Zero-Knowledge Mechanisms. β CoRR
- Approximate degree lower bounds for oracle identification problems. β Electron. Colloquium Comput. Complex.
- ShrewdAttack: Low Cost High Accuracy Model Extraction. β Entropy
- Bunched Fuzz: Sensitivity for Vector Metrics. β ESOP
- Proof-Carrying Data from Arithmetized Random Oracles. β EUROCRYPT
- SoK: Data Sovereignty. β EuroS&P
- Constant Approximation for Private Interdependent Valuations. β FOCS
- 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy β FSCD, LIPIcs
- Spatial and Temporal Evolution of Precipitation and Its Main Driving Factors in Jiangsu Province, China. β Geoinformatics
- Group Oblivious Message Retrieval. β IACR Cryptol. ePrint Arch.
- OpenPubkey: Augmenting OpenID Connect with User held Signing Keys. β IACR Cryptol. ePrint Arch.
- Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations. β IACR Cryptol. ePrint Arch.
- Private Eyes: Zero-Leakage Iris Searchable Encryption. β IACR Cryptol. ePrint Arch.
- Proof-Carrying Data From Arithmetized Random Oracles. β IACR Cryptol. ePrint Arch.
- SoK: Data Sovereignty. β IACR Cryptol. ePrint Arch.
- SoK: Privacy-Preserving Signatures. β IACR Cryptol. ePrint Arch.
- Taming Adaptivity in YOSO Protocols: The Modular Way. β IACR Cryptol. ePrint Arch.
- TVA: A multi-party computation system for secure and expressive time series analytics. β IACR Cryptol. ePrint Arch.
- ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. β IACR Cryptol. ePrint Arch.
- Isoperimetric Inequalities for Real-Valued Functions with Applications to Monotonicity Testing. β ICALP
- Triangle Counting with Local Edge Differential Privacy. β ICALP
- The Price of Differential Privacy under Continual Observation. β ICML
- Detecting Exception Handling Bugs in C++ Programs. β ICSE
- A Novel Scaffold-Reinforced Actuator With Tunable Attitude Ability for Grasping. β IEEE Trans. Robotics
- SymRustC: A Hybrid Fuzzer for Rust. β ISSTA
- On the Computational Hardness Needed for Quantum Cryptography. β ITCS
- Generalized Linear Models in Non-interactive Local Differential Privacy with Public Data. β J. Mach. Learn. Res.
- Counting Distinct Elements in the Turnstile Model with Differential Privacy under Continual Observation. β NeurIPS
- Hypothesis Selection with Memory Constraints. β NeurIPS
- SECRECY: Secure collaborative analytics in untrusted clouds. β NSDI
- Learned Perturbation-Aided Advanced Digital Backpropagation with Nonlinear Compensation Fusion for Subcarrier-Multiplexing Systems. β OFC
- Node-Differentially Private Estimation of the Number of Connected Components. β PODS
- DP-SIPS: A simpler, more scalable mechanism for differentially private partition selection. β Proc. Priv. Enhancing Technol.
- Semi-Quantum Random Number Generation. β QCE
- Verifiable Random Functions (VRFs). β RFC
- Stability Is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. β STOC
- Taming Adaptivity in YOSO Protocols: The Modular Way. β TCC
- Sublinear-Time Computation in the Presence of Online Erasures. β Theory Comput.
- Approximate Degree Lower Bounds for Oracle Identification Problems. β TQC
- Field Reconstruction-Based Non-Rendezvous Calibration for Low Cost Mobile Sensors. β UbiComp/ISWC Adjunct
- Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities. β USENIX Security Symposium
- Squint Hard Enough: Attacking Perceptual Hashing with Adversarial Machine Learning. β USENIX Security Symposium
- TVA: A multi-party computation system for secure and expressive time series analytics. β USENIX Security Symposium