Filter your results
- 4
- 4
- 3
- 1
- 2
- 2
- 4
- 4
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Verification of Smart Contract Business Logic8th 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
|
||
|
A Survey of Alerting Websites: Risks and SolutionsIFIP SEC, May 2015, Hamburg, Germany. pp.126-141, ⟨10.1007/978-3-319-18467-8_9⟩
Conference papers
hal-01199703v1
|
||
|
Trust Driven Strategies for Privacy by Design9th IFIP International Conference on Trust Management (TM), May 2015, Hamburg, Germany. pp.60-75, ⟨10.1007/978-3-319-18491-3_5⟩
Conference papers
hal-01262365v1
|
||
|
Analysis of Privacy Policies to Enhance Informed ConsentDBSEC 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
|