Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Gilles Barthe

Research Professor

IMDEA Software

Spain

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Spain Professors in Artificial Intelligence Artificial Intelligence professors in Spain

Articles (19)

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Collaborators (12)

Georg Moser

Full Professor

University of Innsbruck

AUSTRIA

View details

João Diogo Duarte

Assistente Convidado (Teaching assistant)

University of Porto

PORTUGAL

View details

Gabriele Vanoni

University of Bologna

FRANCE

View details

José Bacelar Almeida

Associate Professor

University of Minho

PORTUGAL

View details

Manuel Barbosa

Professor Associado

Universidade do Porto Faculdade de Engenharia

PORTUGAL

View details

Vineet Rajani

Senior Lecturer

University of New South Wales

AUSTRALIA

View details

Isabel Valera

Saarland University

GERMANY

View details

Mingsheng Ying

Professor

University of Sydney

AUSTRALIA

View details

Isabel Valera

Professor

Saarland University

GERMANY

View details

Marco Guarnieri

Assistant Research Professor

IMDEA Software

SPAIN

View details

Niki Vazou

Research Assistant Professor

IMDEA Software

SPAIN

View details

Adrien Koutsos

Inria Centre de Recherche de Paris

FRANCE

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Gilles Barthe

Research Interests

Make your next move.

Explore related searches

Articles (19)

(Dis)Proving Spectre Security with Speculation-Passing Style

Decompiling for Constant-Time Analysis

Laws of Quantum Programming

Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs

Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs

OBRA: Oracle-Based, Relational, Algorithmic Type Verification

Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants)

A Quantitative Probabilistic Relational Hoare Logic

Automating Equational Proofs in Dirac Notation

Preservation of Speculative Constant-Time by Compilation

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation

Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs

A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs

Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures

Decision and Complexity of Dolev-Yao Hyperproperties

A Survey of Algorithmic Recourse: Contrastive Explanations and Consequential Recommendations

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

CoqQ: Foundational Verification of Quantum Programs

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium

Collaborators (12)

Georg Moser

João Diogo Duarte

Gabriele Vanoni

José Bacelar Almeida

Manuel Barbosa

Vineet Rajani

Isabel Valera

Mingsheng Ying

Isabel Valera

Marco Guarnieri

Niki Vazou

Adrien Koutsos

Make your next move.