Daniël Reijsbergen

According to our database, Daniël Reijsbergen authored at least 43 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

BlockChain I/O: Enabling Cross-Chain Commerce.

Anwitaman Datta, Daniël Reijsbergen, Jingchi Zhang, Suman Majumder

CoRR, 2023

CroCoDai: A Stablecoin for Cross-Chain Commerce.

Daniël Reijsbergen, Bretislav Hajek, Tien Tuan Anh Dinh, Jussi Keppo, Hank Korth, Anwitaman Datta

CoRR, 2023

PIEChain - A Practical Blockchain Interoperability Framework.

Daniël Reijsbergen, Aung Maw, Jingchi Zhang, Tien Tuan Anh Dinh, Anwitaman Datta

CoRR, 2023

TAP: Transparent and Privacy-Preserving Data Services.

Daniël Reijsbergen, Aung Maw, Zheng Yang, Tien Tuan Anh Dinh, Jianying Zhou

Proceedings of the 32nd USENIX Security Symposium, 2023

Demo: PIEChain - A Practical Blockchain Interoperability Framework.

Daniël Reijsbergen, Aung Maw, Jingchi Zhang, Tien Tuan Anh Dinh, Anwitaman Datta

Proceedings of the 43rd IEEE International Conference on Distributed Computing Systems, 2023

Optimality Despite Chaos in Fee Markets.

Stefanos Leonardos, Daniël Reijsbergen, Barnabé Monnot, Georgios Piliouras

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.

Daniël Reijsbergen, Aung Maw, Sarad Venugopalan, Dianshi Yang, Tien Tuan Anh Dinh, Jianying Zhou

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

Securing Smart Grids Through an Incentive Mechanism for Blockchain-Based Data Sharing.

Daniël Reijsbergen, Aung Maw, Tien Tuan Anh Dinh, Wen-Tai Li, Chau Yuen

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.

Bithin Alangot, Daniël Reijsbergen, Sarad Venugopalan, Pawel Szalachowski, Kiat Seng Yeo

IEEE Trans. Netw. Serv. Manag., 2021

The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses.

Ivan Homoliak, Sarad Venugopalan, Daniël Reijsbergen, Qingze Hum, Richard Schumi, Pawel Szalachowski

IEEE Commun. Surv. Tutorials, 2021

LaKSA: A Probabilistic Proof-of-Stake Protocol.

Daniël Reijsbergen, Pawel Szalachowski, Junming Ke, Zengpeng Li, Jianying Zhou

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

Transparent Electricity Pricing with Privacy.

Daniël Reijsbergen, Zheng Yang, Aung Maw, Tien Tuan Anh Dinh, Jianying Zhou

Proceedings of the Computer Security - ESORICS 2021, 2021

Transaction Fees on a Honeymoon: Ethereum's EIP-1559 One Month Later.

Daniël Reijsbergen, Shyam Sridhar, Barnabé Monnot, Stefanos Leonardos, Stratis Skoulakis, Georgios Piliouras

Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

Dynamical analysis of the EIP-1559 Ethereum fee market.

Stefanos Leonardos, Barnabé Monnot, Daniël Reijsbergen, Efstratios Skoulakis, Georgios Piliouras

Proceedings of the AFT '21: 3rd ACM Conference on Advances in Financial Technologies, Arlington, Virginia, USA, September 26, 2021

2020

PREStO: A Systematic Framework for Blockchain Consensus Protocols.

Stefanos Leonardos, Daniël Reijsbergen, Georgios Piliouras

IEEE Trans. Engineering Management, 2020

Weighted voting on the blockchain: Improving consensus in proof of stake protocols.

Stefanos Leonardos, Daniël Reijsbergen, Georgios Piliouras

Int. J. Netw. Manag., 2020

Incentives in Ethereum's hybrid Casper protocol.

Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos, Georgios Piliouras

Int. J. Netw. Manag., 2020

A spatial algorithm for the analysis of transportation systems using statistical model checking.

Daniël Reijsbergen, Stephen Gilmore

CoRR, 2020

ProPoS: A Probabilistic Proof-of-Stake Protocol.

Daniël Reijsbergen, Pawel Szalachowski, Junming Ke, Zengpeng Li, Jianying Zhou

CoRR, 2020

On Exploiting Transaction Concurrency To Speed Up Blockchains.

Daniël Reijsbergen, Tien Tuan Anh Dinh

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

Decentralized Lightweight Detection of Eclipse Attacks on Bitcoin Clients.

Bithin Alangot, Daniël Reijsbergen, Sarad Venugopalan, Pawel Szalachowski

Proceedings of the IEEE International Conference on Blockchain, 2020

2019

Rare event simulation for dynamic fault trees.

Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga

Reliab. Eng. Syst. Saf., 2019

The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses.

Ivan Homoliak, Sarad Venugopalan, Qingze Hum, Daniël Reijsbergen, Richard Schumi, Pawel Szalachowski

CoRR, 2019

An Empirical Study Into the Success of Listed Smart Contracts in Ethereum.

Pieter H. Hartel, Ivan Homoliak, Daniël Reijsbergen

IEEE Access, 2019

StrongChain: Transparent and Collaborative Proof-of-Work Consensus.

Pawel Szalachowski, Daniël Reijsbergen, Ivan Homoliak, Siwei Sun

Proceedings of the 28th USENIX Security Symposium, 2019

2018

Path-ZVA: General, Efficient, and Automated Importance Sampling for Highly Reliable Markovian Systems.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Sandeep Juneja

ACM Trans. Model. Comput. Simul., 2018

Rethinking Blockchain Security: Position Paper.

Vincent Chia, Pieter H. Hartel, Qingze Hum, Sebastian Ma, Georgios Piliouras, Daniël Reijsbergen, Mark van Staalduinen, Pawel Szalachowski

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

2017

Moment-based availability prediction for bike-sharing systems.

Cheng Feng, Jane Hillston, Daniël Reijsbergen

Perform. Evaluation, 2017

Transient and Steady-State Statistical Analysis for Discrete Event Simulators.

Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems.

Daniël Reijsbergen

Proceedings of the Software Technologies: Applications and Foundations, 2016

Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems.

Cheng Feng, Jane Hillston, Daniël Reijsbergen

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Hypothesis Testing for Rare-Event Simulation: Limitations and Possibilities.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

On hypothesis testing for statistical model checking.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort

Int. J. Softw. Tools Technol. Transf., 2015

Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh (Extended Version).

Daniël Reijsbergen, Rajeev Ratan

CoRR, 2015

Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh.

Daniël Reijsbergen, Rajeev Ratan

Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015

Interactive comparison of hypothesis tests for statistical model checking.

Pieter-Tjerk de Boer, Daniël Reijsbergen, Werner R. W. Scheinhardt

Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015

Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning.

Nicolas Gast, Guillaume Massonnet, Daniël Reijsbergen, Mirco Tribastone

Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

2014

Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions.

Daniël Reijsbergen, Stephen Gilmore, Jane Hillston

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Validation of Automatic Vehicle Location Data in Public Transport Systems.

Stephen Gilmore, Daniël Reijsbergen

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.

Sylwester Arabas, Michael R. Bareford, Ian P. Gent, Benjamin M. Gorman, Masih Hajiarabderkani, Tristan Henderson, Luke Hutton, Alexander Konovalov, Lars Kotthoff, Ciaran McCreesh, Ruma R. Paul, Karen E. Petrie, Abdul Razaq, Daniël Reijsbergen

CoRR, 2014

Formal Punctuality Analysis of Frequent Bus Services Using Headway Data.

Daniël Reijsbergen, Stephen Gilmore

Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

2013

Automated Rare Event Simulation for Stochastic Petri Nets.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

2012

Rare event simulation for highly dependable systems with fast repairs.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort

Perform. Evaluation, 2012