| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Convergence of the Number of Period Sets in Strings | Rivals, Eric et al. | 2023 |
| 2 | Robustness for Space-Bounded Statistical Zero Knowledge | Allender, Eric et al. | 2023 |
| 3 | Everest: Towards a Verified, Drop-in Replacement of HTTPS | Bhargavan, Karthikeyan et al. | 2017 |
| 4 | The End of History? Using a Proof Assistant to Replace Language Design with Library Design | Chlipala, Adam et al. | 2017 |
| 5 | A Definability Dichotomy for Finite Valued CSPs | Dawar, Anuj et al. | 2015 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 5 |