共 50 条
- [1] An Automated Deductive Verification Framework for Circuit-building Quantum Programs PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, 2021, 12648 : 148 - 177
- [2] An Improved Algorithm for Tor Circuit Scheduling PROCEEDINGS OF THE 17TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'10), 2010, : 329 - 339
- [4] Evaluation of Circuit Lifetimes in Tor ICT SYSTEMS SECURITY AND PRIVACY PROTECTION (SEC 2022), 2022, 648 : 142 - 157
- [5] On the security of the Tor authentication protocol Privacy Enhancing Technologies, 2006, 4258 : 316 - 331
- [6] Beyond TOR: The TrueNyms Protocol SECURITY AND INTELLIGENT INFORMATION SYSTEMS, 2012, 7053 : 68 - 84
- [7] Effective Attacks in the Tor Authentication Protocol NSS: 2009 3RD INTERNATIONAL CONFERENCE ON NETWORK AND SYSTEM SECURITY, 2009, : 81 - 86
- [8] Attacking and Improving the Tor Directory Protocol 45TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP 2024, 2024, : 3221 - 3237
- [9] We Built This Circuit: Exploring Threat Vectors in Circuit Establishment in Tor 2021 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P 2021), 2021, : 319 - 336