Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Jacob Illum"'
Publikováno v:
Blockchain: Research and Applications, Vol 5, Iss 1, Pp 100176- (2024)
We study Privacy Pools, a novel smart contract-based privacy-enhancing protocol. The protocol introduces a mechanism for users to reveal certain properties of their transaction without having to reveal the transaction itself. The core concept involve
Externí odkaz:
https://doaj.org/article/a92b923f2dbb489d86a1fed5f7eccfe8
Publikováno v:
In Theoretical Computer Science 2008 390(2):197-213
Publikováno v:
Financial Cryptography and Data Security ISBN: 9783030512798
Financial Cryptography
Financial Cryptography
In the proof-of-stake (PoS) paradigm for maintaining decentralized, permissionless cryptocurrencies, Sybil attacks are prevented by basing the distribution of roles in the protocol execution on the stake distribution recorded in the ledger itself. Ho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d07ba14cd194cb0c8ade725e2302e052
https://doi.org/10.1007/978-3-030-51280-4_7
https://doi.org/10.1007/978-3-030-51280-4_7
Publikováno v:
ICDM Workshops
Airdrops are a popular method of distributing cryptocurrencies and tokens. While often considered risk-free from the point of view of recipients, their impact on privacy is easily overlooked. We examine the Clam airdrop of 2014, a forerunner to many
Publikováno v:
Formal Methods in System Design. 29:97-114
In this paper, we describe an approach for solving the general class of energy-optimal task graph scheduling problems using priced timed automata. We provide an efficient zone-based algorithm for minimum-cost reachability. Furthermore, we show how th
Autor:
Peter Bulychev, Paul Pettersson, Morgan Magnin, Wang Yi, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Joakim Byg, Gerd Behrmann, Didier Lime, Jiri Srba, Thomas Chatain, Olivier Roux, Alexandre David, Kenneth Y. Joergensen, Louis Marie Traonouez
Publikováno v:
David, A, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Larsen, K G, Pettersson, P, Rasmussen, J I, Srba, J, Yi, W, Joergensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L M 2013, Tools for Model-Checking Timed Systems . in C Jard & O H. Roux (eds), Communicating Embedded Systems: Software and Design: Formal Methods . Wiley, pp. 165-225 . https://doi.org/10.1002/9781118558188.ch6
Aalborg University
David, A, Rasmussen, J I, Larsen, K G, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems . in O H Roux & C Jard (eds), Communicating Embedded Systems for Computer Science . Wiley, pp. 165-225 .
Communicating Embedded Systems: Software and Design: Formal Methods
Aalborg University
David, A, Rasmussen, J I, Larsen, K G, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems . in O H Roux & C Jard (eds), Communicating Embedded Systems for Computer Science . Wiley, pp. 165-225 .
Communicating Embedded Systems: Software and Design: Formal Methods
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::024ccdc25a469599b1dea37374607d90
https://vbn.aau.dk/da/publications/68299ca7-4fec-4b81-8eca-c6e15f5966f3
https://vbn.aau.dk/da/publications/68299ca7-4fec-4b81-8eca-c6e15f5966f3
Autor:
Jacob Illum Rasmussen, Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen
Publikováno v:
Formal Methods for Components and Objects ISBN: 9783642252709
FMCO
FMCO
In this paper we present two frameworks that have been implemented to link traditional model-checking techniques to the domain of control. The techniques are based on solving a timed game and using the resulting solution (a strategy) as a controller.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edc879b462f5605cc1d81c93cf6906d1
https://doi.org/10.1007/978-3-642-25271-6_18
https://doi.org/10.1007/978-3-642-25271-6_18
Autor:
David, Alexandre, Grunnet, Jacob Deleuran, Jessen, Jan Jacob, Larsen, Kim Guldstrand, Rasmussen, Jacob Illum
Publikováno v:
David, A, Grunnet, J D, Jessen, J J, Larsen, K G & Rasmussen, J I 2011, ' Application of Model-Checking Technology to Controller Synthesis ', Lecture Notes in Computer Science, vol. 6957, pp. 336-351 . https://doi.org/10.1007/978-3-642-25271-6_18
In this paper we present two frameworks that have beenimplemented to link traditional model-checking techniques to the domainof control. The techniques are based on solving a timed game and usingthe resulting solution (a strategy) as a controller. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ebd2262a0e87ab253563d25b30b2dfa6
https://vbn.aau.dk/da/publications/a6299d60-8563-4cd5-a7a2-9e2a6cdba475
https://vbn.aau.dk/da/publications/a6299d60-8563-4cd5-a7a2-9e2a6cdba475
Autor:
Mikucionis, Marius, Larsen, Kim Guldstrand, Nielsen, Brian, Rasmussen, Jacob Illum, Skou, Arne, Palm, Steen Ulrik, Pedersen, Jan Storbank, Hougaard, Poul
Publikováno v:
Mikucionis, M, Larsen, K G, Nielsen, B, Rasmussen, J I, Skou, A, Palm, S U, Pedersen, J S & Hougaard, P 2010, ' Schedulability Analysis Using Uppaal: Herschel-Planck Case Study ', Lecture Notes in Computer Science, vol. 6416, no. 2010, pp. 175-190 . https://doi.org/10.1007/978-3-642-16561-0_21
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d3718b66c0bdb33f0a083ed94d7171ac
https://vbn.aau.dk/da/publications/eb05ee2b-db69-4e8d-9ee6-02cd6e060b1c
https://vbn.aau.dk/da/publications/eb05ee2b-db69-4e8d-9ee6-02cd6e060b1c
Autor:
Jan Storbank Pedersen, Arne Skou, Kim Guldstrand Larsen, Poul Hougaard, Brian Nielsen, Marius Mikučionis, Steen Ulrik Palm, Jacob Illum Rasmussen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642165603
ISoLA (2)
ISoLA (2)
We propose a modeling framework for performing schedulability analysis by using UPPAAL real-time model-checker [2]. The framework is inspired by a case study where schedulability analysis of a satellite system is performed. The framework assumes a si
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2789e33289963fe950ecac5fe0dae792
https://doi.org/10.1007/978-3-642-16561-0_21
https://doi.org/10.1007/978-3-642-16561-0_21