Blockchain privacy and regulatory compliance: Towards a practical equilibrium
Buterin, Vitalik, Illum, Jacob, Nadler, Matthias, Schär, Fabian, Soleimani, Ameen
Published in Blockchain. Research and applications Online (01.03.2024)
Published in Blockchain. Research and applications Online (01.03.2024)
Get full text
Journal Article
Optimal reachability for multi-priced timed automata
Larsen, Kim Guldstrand, Rasmussen, Jacob Illum
Published in Theoretical computer science (28.01.2008)
Published in Theoretical computer science (28.01.2008)
Get full text
Journal Article
Conference Proceeding
Airdrops and Privacy: A Case Study in Cross-Blockchain Analysis
Harrigan, Martin, Shi, Lei, Illum, Jacob
Published in 2018 IEEE International Conference on Data Mining Workshops (ICDMW) (01.11.2018)
Published in 2018 IEEE International Conference on Data Mining Workshops (ICDMW) (01.11.2018)
Get full text
Conference Proceeding
Display screen with transitional graphical user interface
Singh, Pankaj, Santos, Monica, Gronager, Michael, Illum, Jacob, Curran, Patrick
Year of Publication 22.10.2024
Get full text
Year of Publication 22.10.2024
Patent
Display screen with transitional graphical user interface
Singh, Pankaj, Santos, Monica, Gronager, Michael, Illum, Jacob, Curran, Patrick
Year of Publication 22.10.2024
Get full text
Year of Publication 22.10.2024
Patent
Systems and methods for identifying patterns in blockchain activities
Deshpande, Shilpa, Gronager, Michael, Illum, Jacob, Curran, Patrick, Tuxen, Jens
Year of Publication 01.10.2024
Get full text
Year of Publication 01.10.2024
Patent
Display screen or portion thereof with graphical user interface
Singh, Pankaj, Santos, Monica, Gronager, Michael, Illum, Jacob, Curran, Patrick
Year of Publication 06.08.2024
Get full text
Year of Publication 06.08.2024
Patent
Display screen or portion thereof with graphical user interface
Singh, Pankaj, Santos, Monica, Gronager, Michael, Illum, Jacob, Curran, Patrick
Year of Publication 06.08.2024
Get full text
Year of Publication 06.08.2024
Patent
Display screen or portion thereof with graphical user interface
Singh, Pankaj, Santos, Monica, Gronager, Michael, Illum, Jacob, Curran, Patrick
Year of Publication 06.08.2024
Get full text
Year of Publication 06.08.2024
Patent
Display screen or portion thereof with graphical user interface
Singh, Pankaj, Santos, Monica, Gronager, Michael, Illum, Jacob, Curran, Patrick
Year of Publication 06.08.2024
Get full text
Year of Publication 06.08.2024
Patent
Display screen or portion thereof with graphical user interface
Singh, Pankaj, Santos, Monica, Gronager, Michael, Illum, Jacob, Curran, Patrick
Year of Publication 30.07.2024
Get full text
Year of Publication 30.07.2024
Patent
Display screen or portion thereof with graphical user interface
Singh, Pankaj, Santos, Monica, Gronager, Michael, Illum, Jacob, Curran, Patrick
Year of Publication 28.05.2024
Get full text
Year of Publication 28.05.2024
Patent
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness
Behrmann, Gerd, Larsen, Kim G., Rasmussen, Jacob Illum
Published in Formal Modeling and Analysis of Timed Systems (2005)
Published in Formal Modeling and Analysis of Timed Systems (2005)
Get full text
Book Chapter
Conference Proceeding
SYSTEMS AND METHODS FOR IDENTIFYING PATTERNS IN BLOCKCHAIN ACTIVITIES
DESHPANDE, Shilpa, TUXEN, Jens, CURRAN, Patrick, ILLUM, Jacob, GRONAGER, Michael
Year of Publication 12.10.2023
Get full text
Year of Publication 12.10.2023
Patent
SYSTEMS AND METHODS FOR IDENTIFYING PATTERNS IN BLOCKCHAIN ACTIVITIES
DESHPANDE, Shilpa, TUXEN, Jens, CURRAN, Patrick, ILLUM, Jacob, GRONAGER, Michael
Year of Publication 12.10.2023
Get full text
Year of Publication 12.10.2023
Patent
Almost Optimal Strategies in One Clock Priced Timed Games
Bouyer, Patricia, Larsen, Kim G., Markey, Nicolas, Rasmussen, Jacob Illum
Published in FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (2006)
Published in FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (2006)
Get full text
Book Chapter
Conference Proceeding
Optimal Conditional Reachability for Multi-priced Timed Automata
Larsen, Kim Guldstrand, Rasmussen, Jacob Illum
Published in Foundations of Software Science and Computational Structures (2005)
Published in Foundations of Software Science and Computational Structures (2005)
Get full text
Book Chapter
Conference Proceeding
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study
Mikučionis, Marius, Larsen, Kim Guldstrand, Rasmussen, Jacob Illum, Nielsen, Brian, Skou, Arne, Palm, Steen Ulrik, Pedersen, Jan Storbank, Hougaard, Poul
Published in Leveraging Applications of Formal Methods, Verification, and Validation (2010)
Published in Leveraging Applications of Formal Methods, Verification, and Validation (2010)
Get full text
Book Chapter