https://verarim.github.io/news/pets22/ 2022-07-01T04:00:00+00:00 https://verarim.github.io/news/edinburgh24/ 2024-03-01T04:00:00+00:00 https://verarim.github.io/news/secappdev24/ 2024-06-01T04:00:00+00:00 https://verarim.github.io/news/dagstuhl24/ 2024-06-24T04:00:00+00:00 https://verarim.github.io/news/cosic24/ 2024-07-01T04:00:00+00:00 https://verarim.github.io/news/worma24/ 2024-07-01T04:00:00+00:00 https://verarim.github.io/news/summerschool24/ 2024-09-13T04:00:00+00:00 https://verarim.github.io/news/accss24/ 2024-09-27T04:00:00+00:00 https://verarim.github.io/news/worma25/ 2024-12-20T04:00:00+00:00 https://verarim.github.io/news/ndc25/ 2025-01-22T04:00:00+00:00 https://verarim.github.io/news/liecht25/ 2025-05-14T04:00:00+00:00 https://verarim.github.io/news/flowpure25/ 2025-05-19T04:00:00+00:00 https://verarim.github.io/news/secappdev25/ 2025-06-04T04:00:00+00:00 https://verarim.github.io/news/usenix25/ 2025-06-26T04:00:00+00:00 https://verarim.github.io/news/AMG25/ 2025-07-10T04:00:00+00:00 https://verarim.github.io/news/usenixaward25/ 2025-08-15T04:00:00+00:00 https://verarim.github.io/news/summerschool25/ 2025-09-12T04:00:00+00:00 https://verarim.github.io/news/eurosp26/ 2025-10-04T04:00:00+00:00 https://verarim.github.io/news/WAITI25/ 2025-10-22T04:00:00+00:00 https://verarim.github.io/news/worma26/ 2025-11-10T04:00:00+00:00 https://verarim.github.io/projects/1_project/ 2026-02-01T21:07:59+00:00 https://verarim.github.io/projects/2_project/ 2026-02-01T21:07:59+00:00 https://verarim.github.io/projects/3_project/ 2026-02-01T21:07:59+00:00 https://verarim.github.io/projects/4_project/ 2026-02-01T21:07:59+00:00 https://verarim.github.io/projects/5_project/ 2026-02-01T21:07:59+00:00 https://verarim.github.io/projects/6_project/ 2026-02-01T21:07:59+00:00 https://verarim.github.io/projects/7_project/ 2026-02-01T21:07:59+00:00 https://verarim.github.io/projects/8_project/ 2026-02-01T21:07:59+00:00 https://verarim.github.io/projects/9_project/ 2026-02-01T21:07:59+00:00 https://verarim.github.io/ https://verarim.github.io/news/ https://verarim.github.io/publications/ https://verarim.github.io/service/ https://verarim.github.io/teaching/