Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
labStructName_s : Inria Lyon
Image document

Analysis of Privacy Policies to Enhance Informed Consent

Raúl Pardo , Daniel Le Métayer
DBSEC 2019 - 33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, Jul 2019, Charleston, SC, United States. pp.177-198, ⟨10.1007/978-3-030-22479-0_10⟩
Conference papers hal-02384593v1
Image document

Verification of Smart Contract Business Logic

Wolfgang Ahrendt , Richard Bubel , Joshua Ellul , Gordon J. Pace , Raúl Pardo , et al.
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.228-243, ⟨10.1007/978-3-030-31517-7_16⟩
Conference papers hal-03769118v1