Meta tags:
description=Personal website of Santiago Arranz-Olmos;

Headings (most frequently used words):

santiago, arranz, olmos, advising, reviewing, other, activities, publications, last, updated, 2026, 08, 17, subpages,

Text of the page (most frequently used words):
and (17), santiago (11), #arranz (11), olmos (11), gilles (11), 2025 (10), local (10), copy (10), jasmin (8), tutorial (8), barthe (8), high (8), doi (7), assurance (7), for (7), compilation (7), crypto (7), talk (7), proc (6), programming (6), 2026 (6), with (6), mar (6), presented (6), languages (5), 1145 (5), benjamin (5), grégoire (5), vincent (5), laporte (5), jan (5), acm (5), conference (5), systems (5), fing (4), pages (4), famaf (4), code (4), cryptographic (4), spectre (4), lionel (4), blatter (4), constant (4), time (4), security (4), software (4), cybersecurity (3), rio (3), miguel (3), pagano (3), tiago (3), oliveira (3), peter (3), schwabe (3), 2024 (3), secure (3), zhiyuan (3), zhang (3), preservation (3), speculative (3), program (3), lang (3), hacs (3), principles (3), course (3), master (3), foundations (2), summer (2), school (2), martín (2), zeroization (2), 375 (2), 397 (2), 46586 (2), tches (2), iacr (2), trans (2), cryptogr (2), hardw (2), embed (2), syst (2), 644 (2), 667 (2), protecting (2), against (2), rsb (2), architectural (2), support (2), operating (2), asplos (2), popl (2), oopsla1 (2), kem (2), 12th (2), 31st (2), hardware (2), embedded (2), ches (2), sep (2), recording (2), 7th (2), prisc (2), 20th (2), week (2), the (2), end (2), advised (2), mpi (2), https (2), github (2), dblp (2), org (2), dot (2), funcs, subpages, fernández, matías, steinberg, alejandro, gadea, emmanuel, gunther, 2020, formalisation, legv8, agda, brazilian, symposium, sblp, 3427081, 3427086, ruben, gonzalez, jean, christophe, léchenet, v2024, jancar, let, doit, using, intel, extended, contract, v2025, chitchanok, chuengsatiansup, yuval, yarom, fact, all, known, variants, 933, 948, 3676641, 3716015, 1293, 1325, 3704880, xingyu, xie, dis, proving, speculation, passing, style, 3798222, youcef, bouzid, sören, van, der, wall, decompiling, analysis, 3798201, paolo, torrini, ind, cca, preserving, appear, computer, communications, publications, last, updated, 2022, 2023, 22nd, page, 4th, see, udelar, feb, 19th, two, bachelor, students, lectures, one, 13th, apr, 3rd, engineering, hase, oct, formally, verified, speed, ignacio, cuevas, real, world, rwc, 9th, formal, verification, assembly, level, side, channel, gdr, sécurité, informatique, jun, 8th, other, activities, reviewed, 11th, reviewing, licenciatura, ciencias, computación, like, degree, detectar, explotar, vulnerabilidades, web, con, grandes, modelos, lenguajes, rodríguez, advising, did, thesis, soporte, para, arm, compilador, verificado, unc, interested, language, theory, its, application, phd, student, com, sarranz, pid, 304, 6207, email,

Text of the page (random words):
santiago arranz olmos santiago arranz olmos email santiago dot arranz olmos at mpi sp dot org dblp https dblp org pid 304 6207 github https github com sarranz i m a phd student of gilles barthe at mpi sp i m interested in programming language theory and its application to security i did my master s at famaf unc advised by miguel pagano the thesis is soporte para arm en un compilador verificado local copy advising 2025 mar 31st martín rodríguez licenciatura en ciencias de la computación like a master s degree co advised with miguel pagano at famaf detectar y explotar vulnerabilidades web con grandes modelos de lenguajes local copy reviewing 2026 jan 11th reviewed for principles of secure compilation prisc other activities 2026 jun 8th talk at gdr sécurité informatique presented formal verification of assembly level side channel security in crypto code mar 9th talk at real world crypto rwc with ignacio cuevas presented end to end formally verified high assurance high speed crypto software 2025 oct 12th jasmin tutorial at high assurance systems engineering hase apr 3rd conference talk at architectural support for programming languages and operating systems asplos presented protecting cryptographic code against spectre rsb mar 13th course at the rio summer school with gilles one week course programming languages for cybersecurity mar 7th lectures at famaf with gilles two week course foundations of cybersecurity for bachelor s and master s students feb 19th talk and jasmin tutorial at fing udelar with gilles see pages 2025 02 19 fing jan 20th conference talk at principles of programming languages popl presented preservation of speculative constant time by compilation recording jan 20th talk at principles of secure compilation prisc presented preservation of speculative constant time by compilation 2024 sep 7th conference talk at cryptographic hardware and embedded systems ches presented high assurance zeroization recording sep 4th jasmin tutorial at cryptographic hardware and embedded systems ches tutorial page mar 22nd jasmin tutorial at high assurance crypto software hacs 2023 mar 31st jasmin tutorial at high assurance crypto software hacs 2022 jan 12th jasmin tutorial at high assurance crypto software hacs publications last updated 2026 08 17 santiago arranz olmos gilles barthe lionel blatter benjamin grégoire vincent laporte and paolo torrini 2026 kem ind cca preserving compilation of jasmin s ml kem proc acm conference on computer and communications security to appear local copy santiago arranz olmos gilles barthe lionel blatter youcef bouzid sören van der wall and zhiyuan zhang 2026 decompiling for constant time analysis proc acm program lang 10 oopsla1 doi 10 1145 3798201 local copy santiago arranz olmos gilles barthe lionel blatter xingyu xie and zhiyuan zhang 2026 dis proving spectre security with speculation passing style proc acm program lang 10 oopsla1 doi 10 1145 3798222 local copy santiago arranz olmos gilles barthe lionel blatter benjamin grégoire and vincent laporte 2025 preservation of speculative constant time by compilation proc acm program lang 9 popl 1293 1325 doi 10 1145 3704880 local copy santiago arranz olmos gilles barthe chitchanok chuengsatiansup benjamin grégoire vincent laporte tiago oliveira peter schwabe yuval yarom and zhiyuan zhang 2025 protecting cryptographic code against spectre rsb and in fact all known spectre variants proc acm conference on architectural support for programming languages and operating systems 2 asplos 933 948 doi 10 1145 3676641 3716015 local copy santiago arranz olmos gilles barthe benjamin grégoire jan jancar vincent laporte tiago oliveira and peter schwabe 2025 let s doit using intel s extended hw sw contract for secure compilation of crypto code iacr trans cryptogr hardw embed syst 2025 3 644 667 doi 10 46586 tches v2025 i3 644 667 local copy santiago arranz olmos gilles barthe ruben gonzalez benjamin grégoire vincent laporte jean christophe léchenet tiago oliveira and peter schwabe 2024 high assurance zeroization iacr trans cryptogr hardw embed syst 2024 1 375 397 doi 10 46586 tches v2024 i1 375 397 local copy santiago arranz olmos martín fernández matías steinberg alejandro gadea emmanuel gunther and miguel pagano 2020 a formalisation of legv8 in agda proc brazilian symposium on programming languages sblp 33 39 doi 10 1145 3427081 3427086 local copy subpages rio summer school pages 2025 03 10 rio foundations of cybersecurity at famaf pages 2025 02 24 funcs jasmin tutorial at fing pages 2025 02 19 fing