مؤتمر
Less is more: refinement proofs for probabilistic proofs
| العنوان: | Less is more: refinement proofs for probabilistic proofs |
|---|---|
| المؤلفون: | Jiang, Kunming, Chait-Roth, Devora, DeStefano, Zachary, Walfish, Michael, Wies, Thomas |
| المصدر: | 2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :1112-1129 May, 2023 |
| Relation: | 2023 IEEE Symposium on Security and Privacy (SP) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781665493369 |
|---|---|
| تدمد: | 23751207 |
| DOI: | 10.1109/SP46215.2023.10179393 |