Blockchain

Pop the hood - inner workings of Artificial Intelligence (AI) models with implications for military medical ethics
13th ICMM Workshop on Military Medical Ethics: Artificial Intelligence and Big Data Ethics in Military and Humanitarian Healthcare
June 2024, Jongny s/Vevey | program

Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains
Presentation and discussion of this paper by E. Androulaki et al. (EuroSys 2018)
Blockchain Security seminar, ETH Zürich, 2018 | PDF

From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models
Presentation and discussion of this paper by T. Suzanne and A. Miné (SAS 2016)
Software Engineering seminar, ETH Zürich, 2016 | PDF