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:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Collateral Portfolio Optimization in Crypto-Backed Stablecoins.
CoRR, 2024

BlockChain I/O: Enabling Cross-Chain Commerce.
IEEE Access, 2024

2023
CroCoDai: A Stablecoin for Cross-Chain Commerce.
CoRR, 2023

PIEChain - A Practical Blockchain Interoperability Framework.
CoRR, 2023

TAP: Transparent and Privacy-Preserving Data Services.
Proceedings of the 32nd USENIX Security Symposium, 2023

Demo: PIEChain - A Practical Blockchain Interoperability Framework.
Proceedings of the 43rd IEEE International Conference on Distributed Computing Systems, 2023

Optimality Despite Chaos in Fee Markets.
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

LaKSA: A Probabilistic Proof-of-Stake Protocol.
Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

Transparent Electricity Pricing with Privacy.
Proceedings of the Computer Security - ESORICS 2021, 2021

Transaction Fees on a Honeymoon: Ethereum's EIP-1559 One Month Later.
Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

Dynamical analysis of the EIP-1559 Ethereum fee market.
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.
IEEE Trans. Engineering Management, 2020

Weighted voting on the blockchain: Improving consensus in proof of stake protocols.
Int. J. Netw. Manag., 2020

Incentives in Ethereum's hybrid Casper protocol.
Int. J. Netw. Manag., 2020

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

ProPoS: A Probabilistic Proof-of-Stake Protocol.
CoRR, 2020

On Exploiting Transaction Concurrency To Speed Up Blockchains.
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

Decentralized Lightweight Detection of Eclipse Attacks on Bitcoin Clients.
Proceedings of the IEEE International Conference on Blockchain, 2020

2019
Rare event simulation for dynamic fault trees.
Reliab. Eng. Syst. Saf., 2019

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

An Empirical Study Into the Success of Listed Smart Contracts in Ethereum.
IEEE Access, 2019

StrongChain: Transparent and Collaborative Proof-of-Work Consensus.
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

Rethinking Blockchain Security: Position Paper.
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.
Perform. Evaluation, 2017

Transient and Steady-State Statistical Analysis for Discrete Event Simulators.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Hypothesis Testing for Rare-Event Simulation: Limitations and Possibilities.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015
On hypothesis testing for statistical model checking.
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

Interactive comparison of hypothesis tests for statistical model checking.
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.
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.
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Validation of Automatic Vehicle Location Data in Public Transport Systems.
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

Formal Punctuality Analysis of Frequent Bus Services Using Headway Data.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

2013
Automated Rare Event Simulation for Stochastic Petri Nets.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

2012
Rare event simulation for highly dependable systems with fast repairs.
Perform. Evaluation, 2012


  Loading...