Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Structure: Internal structure identifier : 50877
hal_authIdPerson_i : 1023774
Page :
sorted by
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
Image document

Data Minimisation: A Language-Based Approach

 Thibaud Antignac , David Sands , Gerardo Schneider
32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.442-456, ⟨10.1007/978-3-319-58469-0_30⟩
Conference papers hal-01648986v1
Page :