Marco Patrignani
|
Flowistry for Clion/Rust Rover |
|
Bachelor thesis (2022)
giovedì 19 dicembre 2024
Si veda la descrizione in inglese. |
|
|
|
From Python to Rust for PKCS11 fuzzing |
|
bachelors, masters ()
giovedì 19 dicembre 2024
si veda la descrizione in inglese. |
|
|
|
Rust for embedded and SCA: compiler analysis internship at ST Microelectronics |
|
internship + thesis ()
martedì 26 novembre 2024
https://stmicroelectronics.eightfold.ai/careers/job/563637158079091?ref_src=eyJlbWFpbCI6ImFkcmlhbm8uZ2FpYm90dGlAc3QuY29tIiwiZ3JvdXBfaWQiOiJzdG1pY3JvZWxlY3Ryb25pY3MuY29tIn0.GiHu3g.rFd7mzT7hSQixAClIGOJSxcY-Jw |
|
|
|
SuperEgg: Supercompilation with Equality Saturation |
|
bachelor + internship ()
martedì 15 ottobre 2024
si veda la descrizione in inglese. |
|
|
|
Elaboration for Type-Based Verification of Higher-Order Programs |
|
all ()
martedì 15 ottobre 2024
si veda la descrizione in inglese. |
|
|
|
Cyclic Proof Checker for Higher-Order Fixpoint Logic |
|
bachelor+internship ()
martedì 15 ottobre 2024
si veda la descrizione in inglese. |
|
|
|
SPECMON for applications |
|
ALL ()
giovedì 10 ottobre 2024
si veda la descrizione in inglese |
|
|
|
Timesheet autocompilation via LLMs |
|
Bachelor thesis + tirocinio // Masters ()
venerdì 13 settembre 2024
si veda la descrizione in inglese. |
|
|
|
SPECMON robust security |
|
all ()
venerdì 02 agosto 2024
si veda la descrizione in inglese |
|
|
|
Composition for Sapic+ |
|
masters ()
domenica 07 luglio 2024
si veda la descrizione in inglese. |
|
|
|
CIE PKCS11 key confidentiality |
|
bachelors [+internship] ()
mercoledì 03 luglio 2024
si veda la descrzione in inglese. |
|
|
|
Parser and Command Line Interface for Spectector in Coq |
|
Bachelor thesis (+tirocinio) // Masters ()
martedì 09 aprile 2024
si veda la descrizione in inglese |
|
|
|
Modularise Spectector |
|
Bachelor thesis (+tirocinio) ()
martedì 09 aprile 2024
si veda la descrizione in inglese. |
|
|
|
Universal Composability Literature Review |
|
Bachelor thesis ()
martedì 09 aprile 2024
si veda la descrizione in inglese. |
|
|
|
Sanbapolis Arena analytics |
|
Bachelor thesis (+tirocinio) / Masters ()
martedì 09 aprile 2024
si veda la descrizione in inglese |
|
|
|
Sanbapolis Arena acquisition system |
|
bachelor thesis ()
martedì 09 aprile 2024
si veda il testo in inglese |
|
|
|
Protocol Verification: Commitment |
|
Bachelor Thesis (+tirocinio) ()
martedì 09 aprile 2024
Si veda la descrizione in inglese. |
|
|
|
Creusot for PBFT |
|
Bachelor, Masters ()
lunedì 11 marzo 2024
si veda la descrizione in inglese |
|
|
|
[Research Project] Formal Languages Project |
|
()
giovedì 10 novembre 2022
si veda la descrizione in inglese |
|
|
|
Custom Rust Project |
|
(2022)
martedì 11 ottobre 2022
Si veda la descrizione in inglese. |