E-LIB Suche - Ergebnisse für: Mauw, Sjouke

1

Software-Based Memory Erasure with relaxed isolation requir..:

Bursuc, Sergiu ; Gil-Pons, Reynaldo ; Mauw, Sjouke.
http://arxiv.org/abs/2401.06626. , 2024

Link: http://arxiv.org/abs/240..

2

Automated generation of attack trees with optimal shape and..:

Gadyatskaya, Olga ; Mauw, Sjouke ; Trujillo-Rasuac, Rolando.
http://arxiv.org/abs/2311.13331. , 2023

Link: http://arxiv.org/abs/231..

3

Provably Unlinkable Smart Card-based Payments:

Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke.
http://arxiv.org/abs/2309.03128. , 2023

Link: http://arxiv.org/abs/230..

4

Provably unlinkable smart card-based payments:

Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke.
https://strathprints.strath.ac.uk/86881/1/Bursuc_etal_arXiv_2023_Provably_unlinkable_smart_card_based_payments.pdf. , 2023

Link: https://strathprints.str..

5

A graphical proof theory of logical time:

Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke.
https://strathprints.strath.ac.uk/86952/1/Acclavio_etal_FSCD_2022_A_graphical_proof_theory_of_logical_time.pdf. , 2022

Link: https://strathprints.str..

6

A Graphical Proof Theory of Logical Time:

Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke.
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2022.22. , 2022

Link: https://inria.hal.scienc..

7

A Graphical Proof Theory of Logical Time:

Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke
doi:10.4230/LIPIcs.FSCD.2022.22. , 2022

Link: https://doi.org/10.4230/..

8

BelElect: A New Dataset for Bias Research from a "Dark" Pla..:

Hoehn, Sviatlana ; Mauw, Sjouke ; Asher, Nicholas
AAAI International Conference on Web and Social Media (June 6-9, 2022). , 2022

Link: http://orbilu.uni.lu/han..

9

Modelling Agent-Skipping Attacks in Message Forwarding Prot..:

Smith, Zach ; Jonker, Hugo ; Mauw, Sjouke.
http://arxiv.org/abs/2201.08686. , 2022

Link: http://arxiv.org/abs/220..

10

Cloud removal from satellite imagery using multispectral ed..:

Hasan, Cengis ; Horne, Ross ; Mauw, Sjouke.
https://strathprints.strath.ac.uk/87233/1/Hasan-etal-IJRS-2022-Cloud-removal-from-satellite-imagery-using-multispectral-edge-filtered-conditional-generative-adversarial-networks.pdf. , 2022

Link: https://strathprints.str..

11

A Graphical Proof Theory of Logical Time:

Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke.
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2022.22. , 2022

Link: https://inria.hal.scienc..

12

A Graphical Proof Theory of Logical Time:

Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke.
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2022.22. , 2022

Link: https://inria.hal.scienc..

13

Preventing active re-identification attacks on social graph..:

Mauw, Sjouke ; Ramirez Cruz, Yunior ; Trujillo Rasua, Rolando
https://link.springer.com/article/10.1007/s10115-022-01662-z. , 2022

Link: http://orbilu.uni.lu/han..

14

Unlinkability of an Improved Key Agreement Protocol for EMV..:

Horne, Ross James ; Mauw, Sjouke ; Yurkov, Semen
35th IEEE Computer Security Foundations Symposium (CSF), Haifa, Israel (from 07-08-2022 to 10-08-2022). , 2022

Link: http://orbilu.uni.lu/han..

15

Contingent payments from two-party signing and verification..:

Bursuc, Sergiu ; Mauw, Sjouke
35th IEEE Computer Security Foundations Symposium (CSF'22), Haifa, Israel (August 7-10, 2022). , 2022

Link: http://orbilu.uni.lu/han..