Elamur Research⌕
☰
home / authors / Dawn Song / all works / page 2

Dawn Song — all works

391 works · page 2 of 4 · 101–200 · ← Dawn Song

1 2 3 4

  1. Contextual Policy Enforcement in Android Applications with Permission Event Graphs ↗no summary yetKevin Zhijie Chen et al.2013 · 119 citations
  2. Neural Symbolic Reader: Scalable Integration of Distributed and Symbolic Representations for Reading Comprehension ↗International Conference on Learning Representations · no summary yetXinyun Chen et al.2020 · 116 citations
  3. FLAX: Systematic Discovery of Client-side Validation Vulnerabilities in Rich Web Applications. ↗no summary yetPrateek Saxena et al.2010 · 112 citations
  4. PixMix: Dreamlike Pictures Comprehensively Improve Safety Measures ↗IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yetDan Hendrycks et al.2022 · 111 citations
  5. Binary Code Extraction and Interface Identification for Security Applications ↗no summary yetJuan Caballero et al.2009 · 110 citations
  6. Imitation Attacks and Defenses for Black-box Machine Translation Systems ↗Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP) · no summary yetEric Wallace, Mitchell Stern, Dawn Song2020 · 106 citations
  7. Mining Permission Request Patterns from Android and Facebook Applications ↗Proceedings · no summary yetMario Frank et al.2012 · 101 citations
  8. MACE: model-inference-assisted concolic exploration for protocol and vulnerability discovery ↗no summary yetChia Yuan Cho et al.2011 · 99 citations
  9. Emulating emulation-resistant malware ↗no summary yetMin Gyung Kang et al.2009 · 99 citations
  10. Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models ↗Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · no summary yetJialuo Chen et al.2022 · 97 citations
  11. Characterizing Audio Adversarial Examples Using Temporal Dependency ↗arXiv (Cornell University) · no summary yetZhuolin Yang et al.2018 · 97 citations
  12. Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation ↗no summary yetDavid Brumley et al.97 citations
  13. Replayer ↗Proceedings of the ACM Conference on Computer and Communications Security · no summary yetJames Newsome et al.2006 · 96 citations
  14. Behavioral Distance Measurement Using Hidden Markov Models ↗Lecture notes in computer science · no summary yetDebin Gao, Michael K. Reiter, Dawn Xiaodong Song2006 · 95 citations
  15. Practical One-Shot Federated Learning for Cross-Silo Setting ↗arXiv:2010.01017 · no summary yetQinbin Li, Bingsheng He, Dawn Xiaodong Song2021 · 94 citations
  16. Characterizing Adversarial Examples Based on Spatial Consistency Information for Semantic Segmentation ↗Lecture notes in computer science · no summary yetChaowei Xiao et al.2018 · 94 citations
  17. Execution-Guided Neural Program Synthesis. ↗International Conference on Learning Representations · no summary yetXinyun Chen, Chang Liu, Dawn Xiaodong Song2018 · 93 citations
  18. Insights from the inside: a view of botnet management from infiltration ↗no summary yetChia Yuan Cho et al.2010 · 93 citations
  19. Orion: Zero Knowledge Proof with Linear Prover Time ↗Lecture notes in computer science · no summary yetTiancheng Xie, Yupeng Zhang, Dawn Xiaodong Song2022 · 91 citations
  20. Physical Adversarial Examples for Object Detectors ↗arXiv (Cornell University) · no summary yetKevin Eykholt et al.2018 · 91 citations
  21. Preserving Link Privacy in Social Network Based Systems ↗arXiv (Cornell University) · no summary yetPrateek Mittal, Charalampos Papamanthou, Dawn Xiaodong Song2012 · 91 citations
  22. Secure Content Sniffing for Web Browsers, or How to Stop Papers from Reviewing Themselves ↗Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · no summary yetAdam Barth, Juan Caballero, Dawn Xiaodong Song2009 · 91 citations
  23. TeraPipe: Token-Level Pipeline Parallelism for Training Large-Scale Language Models ↗arXiv (Cornell University) · no summary yetZhuohan Li et al.2021 · 90 citations
  24. Robust Anomaly Detection and Backdoor Attack Detection Via Differential Privacy ↗arXiv (Cornell University) · no summary yetMin Du, Ruoxi Jia, Dawn Xiaodong Song2019 · 90 citations
  25. Fooling Vision and Language Models Despite Localization and Attention Mechanism ↗IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yetXiaojun Xu et al.2018 · 90 citations
  26. Creating Vulnerability Signatures Using Weakest Preconditions ↗Proceedings - Computer Security Foundations Workshop/Proceedings · no summary yetDavid Brumley et al.2007 · 89 citations
  27. Epione: Lightweight Contact Tracing with Strong Privacy ↗arXiv (Cornell University) · no summary yetNi Trieu et al.2020 · 86 citations
  28. Measuring channel capacity to distinguish undue influence ↗no summary yetJames Newsome, Stephen McCamant, Dawn Xiaodong Song2009 · 86 citations
  29. DeepStruct: Pretraining of Language Models for Structure Prediction ↗Findings of the Association for Computational Linguistics: ACL 2022 · no summary yetChenguang Wang et al.2022 · 83 citations
  30. Differentiable Neural Network Architecture Search ↗International Conference on Learning Representations · no summary yetRichard Shin, Charles Packer, Dawn Xiaodong Song2018 · 83 citations
  31. A demonstration of sterling ↗Proceedings of the VLDB Endowment · no summary yetNick Hynes et al.2018 · 82 citations
  32. Efficient Deep Learning on Multi-Source Private Data ↗arXiv (Cornell University) · no summary yetNick Hynes, Raymond Cheng, Dawn Xiaodong Song2018 · 80 citations
  33. Looking for diamonds in the desert - extending automatic protocol generation to three-party authentication and key agreement protocols ↗no summary yetAdrian Perrig, Dawn Xiaodong Song2000 · 80 citations
  34. Identifying and Mitigating the Security Risks of Generative AI ↗Foundations and Trends® in Privacy and Security · no summary yetClark Barrett et al.2023 · 79 citations
  35. Decision Boundary Analysis of Adversarial Examples ↗International Conference on Learning Representations · no summary yetWarren He, Bo Li, Dawn Xiaodong Song2018 · 79 citations
  36. VTint: Protecting Virtual Function Tables' Integrity ↗Network and Distributed System Security Symposium · no summary yetChao Zhang et al.2015 · 79 citations
  37. Automatic protocol reverse-engineering: Message format extraction and field semantics inference ↗Computer Networks · no summary yetJuan Caballero, Dawn Xiaodong Song2012 · 77 citations
  38. Adversarial Example Defenses: Ensembles of Weak Defenses are not Strong ↗arXiv (Cornell University) · no summary yetWarren He et al.2017 · 76 citations
  39. Optimal Lower Bound for Differentially Private Multi-party Aggregation ↗Lecture notes in computer science · no summary yetT-H. Hubert Chan, Elaine Shi, Dawn Xiaodong Song2012 · 76 citations
  40. BitScope: Automatically Dissecting Malicious Binaries ↗no summary yetDavid Brumley et al.2007 · 75 citations
  41. Detecting Fake Accounts in Online Social Networks at the Time of Registrations ↗ACM SIGSAC Conference on Computer and Communications Security (CCS) · no summary yetDong Yuan et al.2019 · 74 citations
  42. Path-exploration lifting ↗no summary yetLorenzo Martignoni et al.2012 · 74 citations
  43. New Techniques for Private Stream Searching ↗ACM Transactions on Information and System Security · no summary yetJohn Bethencourt, Dawn Xiaodong Song, Brent R. Waters2009 · 72 citations
  44. Dynamic quarantine of Internet worms ↗IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) · no summary yetCynthia Wong et al.2004 · 71 citations
  45. Impossibility of Full Decentralization in Permissionless Blockchains ↗arXiv:1905.05158 · no summary yetYu‐Jin Kwon et al.2019 · 70 citations
  46. Context-sensitive auto-sanitization in web templating languages using type qualifiers ↗Proceedings of the ACM Conference on Computer and Communications Security · no summary yetMike Samuel, Prateek Saxena, Dawn Xiaodong Song2011 · 70 citations
  47. Code-pointer integrity ↗ACM eBooks · no summary yetVolodymyr Kuznetzov et al.2018 · 69 citations
  48. Key Distribution Techniques for Sensor Networks ↗Springer eBooks · no summary yetHaowen Chan, Adrian Perrig, Dawn Xiaodong Song2006 · 69 citations
  49. Exploring the Space of Black-box Attacks on Deep Neural Networks ↗arXiv (Cornell University) · no summary yetArjun Nitin Bhagoji et al.2017 · 67 citations
  50. LLM-PBE: Assessing Data Privacy in Large Language Models ↗Proceedings of the VLDB Endowment · no summary yetQinbin Li et al.2024 · 65 citations
  51. TrojDiff: Trojan Attacks on Diffusion Models with Diverse Targets ↗IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yetWeixin Chen, Dawn Xiaodong Song, Bo Hu Li2023 · 65 citations
  52. Towards Inspecting and Eliminating Trojan Backdoors in Deep Neural Networks ↗Proceedings · no summary yetWenbo Guo et al.2020 · 64 citations
  53. Exploring the Privacy Risks of Adversarial VR Game Design ↗Proceedings on Privacy Enhancing Technologies · no summary yetVivek C Nair et al.2023 · 63 citations
  54. Input generation via decomposition and re-stitching ↗Proceedings of the ACM Conference on Computer and Communications Security · no summary yetJuan Caballero et al.2010 · 63 citations
  55. Sweeper ↗no summary yetJoseph A. Tucek et al.2007 · 62 citations
  56. VTrust: Regaining Trust on Virtual Calls ↗Network and Distributed System Security Symposium · no summary yetChao Zhang et al.2016 · 61 citations
  57. Take two software updates and see me in the morning: the case for software security evaluations of medical devices ↗no summary yetSteven Hanna et al.2011 · 61 citations
  58. Zero-Shot Information Extraction as a Unified Text-to-Triple Translation ↗Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing · no summary yetChenguang Wang et al.2021 · 59 citations
  59. Expander graphs for digital stream authentication and robust overlay networks ↗Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · no summary yetDawn Xiaodong Song, David Zuckerman, J. D. Tygar2002 · 58 citations
  60. Going Incognito in the Metaverse: Achieving Theoretically Optimal Privacy-Usability Tradeoffs in VR ↗ACM Symposium on User Interface Software and Technology (UIST) · no summary yetVivek C Nair, Gonzalo Munilla Garrido, Dawn Xiaodong Song2023 · 57 citations
  61. A Machine Learning Approach to Prevent Malicious Calls over Telephony Networks ↗Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · no summary yetHuichen Li et al.2018 · 55 citations
  62. SoK: Data Privacy in Virtual Reality ↗Proceedings on Privacy Enhancing Technologies · no summary yetGonzalo Munilla Garrido, Vivek C Nair, Dawn Xiaodong Song2023 · 53 citations
  63. AGVI — Automatic Generation, Verification, and Implementation of Security Protocols ↗Lecture notes in computer science · no summary yetDawn Xiaodong Song, Adrian Perrig, Doantam Phan2001 · 53 citations
  64. Scalable Best-of-N Selection for Large Language Models via Self-Certainty ↗neural information processing systems · no summary yetZhewei Kang, Xuandong Zhao, Dawn Xiaodong Song2025 · 52 citations
  65. Malware Analysis with Tree Automata Inference ↗Lecture notes in computer science · no summary yetDomagoj Babić, Daniel Reynaud-Plantey, Dawn Xiaodong Song2011 · 52 citations
  66. Compositional Generalization via Neural-Symbolic Stack Machines ↗arXiv:2008.06662 · no summary yetXinyun Chen et al.2020 · 51 citations
  67. Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations ↗Lecture notes in computer science · no summary yetLun Wang et al.2019 · 51 citations
  68. DeepMem ↗ACM SIGSAC Conference on Computer and Communications Security (CCS) · no summary yetWei Song et al.2018 · 50 citations
  69. Formal Mathematical Reasoning: A New Frontier in AI ↗arXiv:2412.16075 · no summary yetKaiyu Yang et al.2024 · 49 citations
  70. A First Step Towards the Automatic Generation of Security Protocols. ↗no summary yetAdrian Perrig, Dawn Xiaodong Song2000 · 49 citations
  71. BACKDOORL: Backdoor Attack against Competitive Reinforcement Learning ↗arXiv:2105.00579 · no summary yetLun Wang et al.2021 · 48 citations
  72. Privilege separation in HTML5 applications ↗no summary yetDevdatta Akhawe, Prateek Saxena, Dawn Xiaodong Song2012 · 48 citations
  73. Neural Code Completion ↗no summary yetChang Liu et al.2017 · 46 citations
  74. Learning to Reason without External Rewards ↗arXiv:2505.19590 · no summary yetXuandong Zhao et al.2025 · 44 citations
  75. AdvIT: Adversarial Frames Identifier Based on Temporal Consistency in Videos ↗IEEE/CVF International Conference on Computer Vision (ICCV) · no summary yetChaowei Xiao et al.2019 · 44 citations
  76. A Learning-Based Approach to Reactive Security ↗IEEE Transactions on Dependable and Secure Computing · no summary yetAdam Barth et al.2011 · 43 citations
  77. Signatures of Reputation ↗Lecture notes in computer science · no summary yetJohn Bethencourt, Elaine Shi, Dawn Xiaodong Song2010 · 43 citations
  78. Beyond Output Voting: Detecting Compromised Replicas Using HMM-Based Behavioral Distance ↗IEEE Transactions on Dependable and Secure Computing · no summary yetDebin Gao, Michael K. Reiter, Dawn Xiaodong Song2008 · 42 citations
  79. Hidden Persuaders: LLMs' Political Leaning and Their Influence on Voters ↗Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing · no summary yetYujin Potter et al.2024 · 41 citations
  80. Towards Synthesizing Complex Programs from Input-Output Examples ↗arXiv (Cornell University) · no summary yetXinyun Chen, Chang Liu, Dawn Xiaodong Song2017 · 40 citations
  81. HI-CFG: Construction by Binary Analysis and Application to Attack Polymorphism ↗Lecture notes in computer science · no summary yetDan Caselden et al.2013 · 40 citations
  82. Data Poisoning Attack against Unsupervised Node Embedding Methods ↗arXiv (Cornell University) · no summary yetMingjie Sun et al.2018 · 39 citations
  83. The exploding gradient problem demystified - definition, prevalence, impact, origin, tradeoffs, and solutions ↗arXiv (Cornell University) · no summary yetGeorge Philipp, Dawn Xiaodong Song, Jaime Carbonell2017 · 39 citations
  84. Parallel and Asynchronous Smart Contract Execution ↗IEEE Transactions on Parallel and Distributed Systems · no summary yetJian Liu et al.2021 · 38 citations
  85. The Ekiden Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts ↗IEEE Security & Privacy · no summary yetFan Zhang et al.2020 · 38 citations
  86. Improving Neural Program Synthesis with Inferred Execution Traces ↗neural information processing systems · no summary yetEui Chul Richard Shin, Illia Polosukhin, Dawn Xiaodong Song2018 · 38 citations
  87. Evolution of Social-Attribute Networks: Measurements, Modeling, and Implications using Google+ ↗arXiv (Cornell University) · no summary yetNeil Zhenqiang Gong et al.2012 · 38 citations
  88. CodeHalu: Investigating Code Hallucinations in LLMs via Execution-based Verification ↗Proceedings of the AAAI Conference on Artificial Intelligence · no summary yetYuchen Tian et al.2025 · 37 citations
  89. BLITZ: Compositional bounded model checking for real-world programs ↗IEEE/ACM International Conference on Automated Software Engineering (ASE) · no summary yetChia Yuan Cho, Vijay D’Silva, Dawn Xiaodong Song2013 · 37 citations
  90. How You Act Tells a Lot: Privacy-Leaking Attack on Deep Reinforcement Learning ↗Adaptive Agents and Multi-Agents Systems · no summary yetXinlei Pan et al.2019 · 36 citations
  91. A Clean-Slate Design for the Next-Generation Secure Internet ↗no summary yetSteven M. Bellovin et al.2006 · 36 citations
  92. SAM: a flexible and secure auction architecture using trusted hardware ↗Proceedings - IEEE International Parallel and Distributed Processing Symposium · no summary yetAdrian Perrig et al.2001 · 35 citations
  93. Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs ↗Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · no summary yetTianyi Liu et al.2024 · 34 citations
  94. Unpacking How Decentralized Autonomous Organizations (DAOs) Work in Practice ↗IEEE International Conference on Blockchain and Cryptocurrency (ICBC) · no summary yetTanusree Sharma et al.2024 · 34 citations
  95. Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis ↗arXiv (Cornell University) · no summary yetKavi Gupta et al.2020 · 34 citations
  96. Note on Attacking Object Detectors with Adversarial Stickers ↗arXiv (Cornell University) · no summary yetKevin Eykholt et al.2017 · 34 citations
  97. SAFE: Secure authentication with Face and Eyes ↗no summary yetArman Boehm et al.2013 · 34 citations
  98. Cloud terminal: secure access to sensitive applications from untrusted systems ↗no summary yetLorenzo Martignoni et al.2012 · 34 citations
  99. SoK: Watermarking for AI-Generated Content ↗Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · no summary yetXuandong Zhao et al.2025 · 33 citations
  100. Scalability vs. Utility: Do We Have to Sacrifice One for the Other in Data Importance Quantification? ↗IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · no summary yetRuoxi Jia et al.2019 · 33 citations

1 2 3 4

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/dawn-song/works/page/2/