Zero Knowledge Static Program Analysis-Reference-Cited by-同舟云学术

Zero Knowledge Static Program Analysis

Published:2021-11-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Fang Zhiyong¹,Darais David²,Near Joseph P.³,Zhang Yupeng¹

Affiliation:

1. Texas A&M University, College Station, TX, USA

2. Galois, Inc, Portland, OR, USA

3. University of Vermont, Burlington, VT, USA

Funder

DARPA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3460120.3484795

Reference72 articles.

1. [n.d.]. Buffet. https://github.com/pepper-project/releases. [n.d.]. Buffet. https://github.com/pepper-project/releases.

2. [n.d.]. California Consumer Privacy Act (CCPA). https://oag.ca.gov/privacy/ccpa. [n.d.]. California Consumer Privacy Act (CCPA). https://oag.ca.gov/privacy/ccpa.

3. [n.d.]. Children's Online Privacy Protection Rule ("COPPA"). https://www.ftc.gov/enforcement/rules/rulemaking-regulatory-reform-proceedings/childrens-online-privacy-protection-rule. [n.d.]. Children's Online Privacy Protection Rule ("COPPA"). https://www.ftc.gov/enforcement/rules/rulemaking-regulatory-reform-proceedings/childrens-online-privacy-protection-rule.

4. [n.d.]. DroidBench 2.0. https://github.com/secure-software-engineering/DroidBench. Accessed: 2020--12-03. [n.d.]. DroidBench 2.0. https://github.com/secure-software-engineering/DroidBench. Accessed: 2020--12-03.

5. [n.d.]. General Data Protection Regulation (GDPR) - Official Legal Text. https://gdpr-info.eu/. [n.d.]. General Data Protection Regulation (GDPR) - Official Legal Text. https://gdpr-info.eu/.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis;Proceedings of the ACM on Programming Languages;2024-04-29

2. Static program analysis for IoT risk mitigation in space-air-ground integrated networks;Security and Safety;2024

3. Less is more: refinement proofs for probabilistic proofs;2023 IEEE Symposium on Security and Privacy (SP);2023-05

4. Proving UNSAT in Zero Knowledge;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07

5. Orion: Zero Knowledge Proof with Linear Prover Time;Advances in Cryptology – CRYPTO 2022;2022