<?xml version="1.0" encoding="UTF-8"?> <urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"> <url> <loc>https://ddealmei.github.io/awards/2020-csaw/</loc> <lastmod>2020-11-08T20:11:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/awards/2021-protonmail/</loc> <lastmod>2021-03-01T20:11:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/awards/2022-google_fellowship/</loc> <lastmod>2022-09-02T20:11:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/awards/2023-prix_rennes1/</loc> <lastmod>2023-05-03T20:11:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/teaching/ise/</loc> <lastmod>2025-07-22T09:22:07+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/teaching/senv/</loc> <lastmod>2025-07-22T09:22:07+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/teaching/ssys2/</loc> <lastmod>2025-07-22T09:22:07+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/news/2020-csaw/</loc> <lastmod>2020-11-08T20:11:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/news/2020-scp10/</loc> <lastmod>2020-12-15T19:59:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/news/2021-patch_srp/</loc> <lastmod>2021-02-16T11:59:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/news/2021-redocs/</loc> <lastmod>2021-11-05T11:59:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/news/2022-pwnie_nomination/</loc> <lastmod>2022-07-01T11:59:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/news/2022-google_fellowship/</loc> <lastmod>2022-09-02T11:59:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/news/2022-usenix_artifact_reviewer/</loc> <lastmod>2022-09-30T11:59:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/news/2023-thesis_award/</loc> <lastmod>2023-05-03T20:11:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/news/2024-best_paper_asiaccs/</loc> <lastmod>2024-07-04T20:11:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/education/2013-bachelor/</loc> <lastmod>2013-04-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/education/2018-master/</loc> <lastmod>2016-04-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/experience/2018-internship/</loc> <lastmod>2018-03-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/experience/2019-amossys/</loc> <lastmod>2018-09-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/teaching/VET/</loc> <lastmod>2019-03-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/teaching/BCS/</loc> <lastmod>2019-04-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/teaching/SSE/</loc> <lastmod>2019-04-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/experience/2019-phd/</loc> <lastmod>2019-10-01T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/teaching/isos-2021/</loc> <lastmod>2020-04-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/teaching/mathcomp/</loc> <lastmod>2020-04-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/teaching/isos-2022/</loc> <lastmod>2021-04-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/experience/2023-invited_researcher/</loc> <lastmod>2023-01-20T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/resume/experience/2023-postdoc/</loc> <lastmod>2023-05-20T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2020.04.09-dromadaire-SCP10/</loc> <lastmod>2020-04-09T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2020.09.16-tches-SCP10/</loc> <lastmod>2020-09-16T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2020.11.06-csaw-dragonblood/</loc> <lastmod>2020-11-06T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2020.12.10-acsac-dragonblood/</loc> <lastmod>2020-12-10T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2021.03.15_corgis_dragonblood/</loc> <lastmod>2021-03-15T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2021.08.15-wac-parasite/</loc> <lastmod>2021-08-15T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2021.09.27-corgis-parasite/</loc> <lastmod>2021-09-27T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2021.11.15-ccs-parasite/</loc> <lastmod>2021-11-15T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2021.11.25-educ-parasite/</loc> <lastmod>2021-11-25T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2021.12.03-semcrypt-parasite/</loc> <lastmod>2021-12-03T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2022.10.11-cea-all/</loc> <lastmod>2022-10-11T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2022.12.14-phd_defense/</loc> <lastmod>2022-12-14T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/talks/2023.07.05-eurosp-dragonstar/</loc> <lastmod>2023-07-05T07:00:00+00:00</lastmod> </url> <url> <loc>https://ddealmei.github.io/_resume/education/2013-bachelor.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/experience/2018-internship.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/education/2018-master.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/experience/2019-amossys.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/experience/2019-phd.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2020.04.09-dromadaire-SCP10.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2020.09.16-tches-SCP10.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2020.11.06-csaw-dragonblood.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2020.12.10-acsac-dragonblood.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2021.03.15_corgis_dragonblood.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2021.08.15-wac-parasite.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2021.09.27-corgis-parasite.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2021.11.15-ccs-parasite.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2021.11.25-educ-parasite.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2021.12.03-semcrypt-parasite.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2022.10.11-cea-all.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2022.12.14-phd_defense.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/experience/2023-invited_researcher.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/experience/2023-postdoc.html</loc> </url> <url> <loc>https://ddealmei.github.io/_talks/2023.07.05-eurosp-dragonstar.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/teaching/BCS.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/teaching/SSE.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/teaching/VET.html</loc> </url> <url> <loc>https://ddealmei.github.io/</loc> </url> <url> <loc>https://ddealmei.github.io/cv/</loc> </url> <url> <loc>https://ddealmei.github.io/_pages/dropdown.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/teaching/isos-2021.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/teaching/isos-2022.html</loc> </url> <url> <loc>https://ddealmei.github.io/_resume/teaching/mathcomp.html</loc> </url> <url> <loc>https://ddealmei.github.io/news/</loc> </url> <url> <loc>https://ddealmei.github.io/publications/</loc> </url> <url> <loc>https://ddealmei.github.io/talks/</loc> </url> <url> <loc>https://ddealmei.github.io/teaching/</loc> </url> </urlset>