https://patelaaryan.com/portfolio/portfolio-1/ https://patelaaryan.com/portfolio/portfolio-2/ https://patelaaryan.com/publications/honorthesis/ https://patelaaryan.com/talks/irisproofmode/ 2024-05-24T00:00:00-07:00 https://patelaaryan.com/talks/OSSSecurity/ 2024-10-15T00:00:00-07:00 https://patelaaryan.com/talks/ucs/ 2024-11-26T00:00:00-08:00 https://patelaaryan.com/talks/CollabrativeVerification/ 2025-02-18T00:00:00-08:00 https://patelaaryan.com/teaching/CMPSC464/ 2021-08-15T00:00:00-07:00 https://patelaaryan.com/teaching/CS230/ 2023-08-21T00:00:00-07:00 https://patelaaryan.com/teaching/CS536/ 2025-01-21T00:00:00-08:00 https://patelaaryan.com/ https://patelaaryan.com/archive-layout-with-content/ https://patelaaryan.com/categories/ https://patelaaryan.com/collection-archive/ https://patelaaryan.com/cv/ https://patelaaryan.com/markdown/ https://patelaaryan.com/non-menu-page/ https://patelaaryan.com/page-archive/ https://patelaaryan.com/portfolio/ https://patelaaryan.com/publications/ https://patelaaryan.com/sitemap/ https://patelaaryan.com/tags/ https://patelaaryan.com/talkmap.html https://patelaaryan.com/talks/ https://patelaaryan.com/teaching/ https://patelaaryan.com/terms/ https://patelaaryan.com/year-archive/ https://patelaaryan.com/markdown_generator/ https://patelaaryan.com/files/paper1.pdf 2026-01-12T11:10:36-08:00 https://patelaaryan.com/files/paper2.pdf 2026-01-12T11:10:36-08:00 https://patelaaryan.com/files/paper3.pdf 2026-01-12T11:10:36-08:00 https://patelaaryan.com/talkmap/map.html 2026-01-12T11:10:36-08:00