Lluch Lafuente, Alberto
135  Ergebnisse:
Personensuche X
?
1

Survey: Automatic generation of attack trees and attack gra..:

Konsta, Alyzia-Maria ; Lluch Lafuente, Alberto ; Spiga, Beatrice.
https://orbit.dtu.dk/en/publications/ba57a731-03ed-4026-a6f8-959b36ab1283.  , 2024
 
?
3

Reducing Boolean networks with backward equivalence:

Argyris, Georgios A ; Lluch Lafuente, Alberto ; Tribastone, Mirco..
https://vbn.aau.dk/da/publications/8b5a06bd-752b-449b-9796-19126d42210a.  , 2023
 
?
7

Reducing Boolean networks with backward equivalence:

Argyris, Georgios A ; Lluch Lafuente, Alberto ; Tribastone, Mirco..
https://orbit.dtu.dk/en/publications/995f4c9b-772d-44f2-a261-5b30168873db.  , 2023
 
?
8

Formal methods and tools for industrial critical systems:

Lluch Lafuente, Alberto ; Mavridou, Anastasia
https://orbit.dtu.dk/en/publications/6d7437b6-3add-4e0a-a00f-174c80b852b7.  , 2022
 
?
9

Maximizing Extractable Value from Automated Market Makers:

Bartoletti, Massimo ; Chiang, James Hsin yu ; Lluch Lafuente, Alberto
https://orbit.dtu.dk/en/publications/2bc5f2d7-a6a8-4ba0-806d-d133688c288c.  , 2022
 
?
10

Blue Book: A set of cybersecurity roadmaps and challenges f..:

Athanasopoulos, Elias ; Kompara, Marko ; Bountakas, Panagiotis...
Markatos , E (ed.) , Rannenberg , K (ed.) , Athanasopoulos , E , Kompara , M , Bountakas , P , Kotzanikolaou , P , Chaudhary , S , Krenn , S , Daoudagh , S , Lioy , A , Dionysiou , A , Lluch Lafuente , A , Douligeris , C , Manifavas , H , Ferreira , A , Marchetti , E , Fischer-Hübner , S , Patsakis , C , Gkioulos , V , Roberto Peres , J , Horn Iwaya , L , Sion , L , Jensen , M , Sisinni , S , Joosen , W & Xenakis , C 2022 , Blue Book: A set of cybersecurity roadmaps and challenges for researchers and policymakers . The CyberSec4Europe Consortium ..  , 2022
 
?
11

An Extension of ERODE to Reduce Boolean Networks By Backwar..:

Argyris, Georgios ; Lluch Lafuente, Alberto ; Tribastone, Mirco..
https://vbn.aau.dk/da/publications/b79bfaaf-f222-48c8-ad06-a9190d1aea95.  , 2022
 
?
12

Formal Analysis of Lending Pools in Decentralized Finance:

Bartoletti, Massimo ; Chiang, James ; Junttila, Tommi...
https://orbit.dtu.dk/en/publications/31dd2b7e-1d1d-48dd-a107-23e5da42dbdc.  , 2022
 
1-15