Oliver Stengele
Orcid: 0000-0002-0574-0628
According to our database1,
Oliver Stengele
authored at least 9 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024
2023
2022
2021
Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control.
Proceedings of the SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, 2021
Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021
Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021
2020
Proceedings of the Middleware '20 Demos and Posters: Proceedings of the 21st International Middleware Conference Demos and Posters, 2020
2019
Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019
2018
Atomic Information Disclosure of Off-Chained Computations Using Threshold Encryption.
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2018