Daniël Reijsbergen
Orcid: 0000-0001-6975-9275
According to our database1,
Daniël Reijsbergen
authored at least 44 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the 32nd USENIX Security Symposium, 2023
Proceedings of the 43rd IEEE International Conference on Distributed Computing Systems, 2023
Proceedings of the Financial Cryptography and Data Security, 2023
2022
Protecting the Integrity of IoT Sensor Data and Firmware With A Feather-Light Blockchain Infrastructure.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022
Securing Smart Grids Through an Incentive Mechanism for Blockchain-Based Data Sharing.
Proceedings of the CODASPY '22: Twelveth ACM Conference on Data and Application Security and Privacy, Baltimore, MD, USA, April 24, 2022
2021
Decentralized and Lightweight Approach to Detect Eclipse Attacks on Proof of Work Blockchains.
IEEE Trans. Netw. Serv. Manag., 2021
The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses.
IEEE Commun. Surv. Tutorials, 2021
Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021
Proceedings of the Computer Security - ESORICS 2021, 2021
Proceedings of the 2021 IEEE International Conference on Blockchain, 2021
Proceedings of the AFT '21: 3rd ACM Conference on Advances in Financial Technologies, Arlington, Virginia, USA, September 26, 2021
2020
IEEE Trans. Engineering Management, 2020
Int. J. Netw. Manag., 2020
A spatial algorithm for the analysis of transportation systems using statistical model checking.
CoRR, 2020
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020
Proceedings of the IEEE International Conference on Blockchain, 2020
2019
The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses.
CoRR, 2019
IEEE Access, 2019
Proceedings of the 28th USENIX Security Symposium, 2019
2018
Path-ZVA: General, Efficient, and Automated Importance Sampling for Highly Reliable Markovian Systems.
ACM Trans. Model. Comput. Simul., 2018
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018
2017
Perform. Evaluation, 2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
2016
Proceedings of the Software Technologies: Applications and Foundations, 2016
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
Int. J. Softw. Tools Technol. Transf., 2015
Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh (Extended Version).
CoRR, 2015
Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh.
Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015
Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015
Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015
2014
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014
Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014
An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science.
CoRR, 2014
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014
2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
2012
Perform. Evaluation, 2012