Launch week offerEnds in00h00m00s

annual Promonthly Pro

Matteo Busi

Non-tenure track assistant professor (RTD-A)

Università Ca' Foscari

Italy

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 Italy

Articles (8)

Year:

2027

Year:

2027

Year:

2026

Year:

2025

Year:

2025

Year:

2024

Year:

2023

Year:

2023

Collaborators (4)

Riccardo Focardi

Full Professor

Università Ca' Foscari

ITALY

View details

N. Mazzocca

University of Naples Federico II

ITALY

View details

Francesco Vitale

University of Naples Federico II

ITALY

View details

Flaminia Luccio

Associate Professor

Università Ca' Foscari

ITALY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Matteo Busi

Research Interests

Make your next move.

Explore related searches

Articles (8)

Partial order semantics and operational semantics for strand spaces, via Rocq

Security Auditing for RISC-V SoCs via Process Mining

When Obfuscations Preserve Constant-Time

Strands Rocq: Why is a Security Protocol Correct, Mechanically?

Work-in-Progress: Optimizing Performance of User Revocation in Cryptographic Access Control with Trusted Execution Environments

Bridging the Gap: Automated Analysis of Sancus

$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation

A Recipe for Cost-Effective Secure IoT: The Safe Place Project Case Study

Collaborators (4)

Riccardo Focardi

N. Mazzocca

Francesco Vitale

Flaminia Luccio

Make your next move.