2023
Injectively k-Colored Rooted Forests.
Graphs Comb., October, 2023
The configuration space of a robotic arm over a graph.
Discret. Math. Algorithms Appl., October, 2023
Privacy-enhancing mechanisms for decision-making DApps.
PhD thesis, 2023
Tornado Vote: Anonymous Blockchain-Based Voting.
IACR Cryptol. ePrint Arch., 2023
2022
Towards Smart Contract-based Verification of Anonymous Credentials.
IACR Cryptol. ePrint Arch., 2022
Analysis of Arbitrary Content on Blockchain-Based Systems using BigQuery.
Proceedings of the Companion of The Web Conference 2022, Virtual Event / Lyon, France, April 25, 2022
Non-disclosing Credential On-chaining for Blockchain-Based Decentralized Applications.
Proceedings of the Service-Oriented Computing - 20th International Conference, 2022
2021
Searching for quicksand ideals in partially ordered sets.
Australas. J Comb., 2021
Empirical Analysis of On-chain Voting with Smart Contracts.
Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021
2020
SmartDHX: Diffie-Hellman Key Exchange with Smart Contracts.
IACR Cryptol. ePrint Arch., 2020
2019
Super RSK Correspondence with Symmetry.
Electron. J. Comb., 2019
Recommender Systems on Homomorphically Encrypted Databases for Enhanced User Privacy.
Proceedings of the 2019 IEEE 44th LCN Symposium on Emerging Topics in Networking (LCN Symposium), 2019
BBBlockchain: Blockchain-Based Participation in Urban Development.
Proceedings of the 15th International Conference on eScience, 2019
2018
Anonymous Datagrams over DNS Records.
Proceedings of the 43rd IEEE Conference on Local Computer Networks, 2018
2010
Native Client: a sandbox for portable, untrusted x86 native code.
Commun. ACM, 2010
Adapting Software Fault Isolation to Contemporary CPU Architectures.
Proceedings of the 19th USENIX Security Symposium, 2010
2008
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008
2005
Pin: building customized program analysis tools with dynamic instrumentation.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005
2004
Ispike: A Post-link Optimizer for the Intel®Itanium®Architecture.
Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004
2002
Profile-guided post-link stride prefetching.
Proceedings of the 16th international conference on Supercomputing, 2002
2001
alto: a link-time optimizer for the Compaq Alpha.
Softw. Pract. Exp., 2001
2000
Compiler techniques for code compaction.
ACM Trans. Program. Lang. Syst., 2000
Code Specialization Based on Value Profiles.
Proceedings of the Static Analysis, 7th International Symposium, 2000
On the Complexity of Flow-Sensitive Dataflow Analyses.
Proceedings of the POPL 2000, 2000
1999
Link-Time Improvement of Scheme Programs.
Proceedings of the Compiler Construction, 8th International Conference, 1999
1998
Alias Analysis of Executable Code.
Proceedings of the POPL '98, 1998
1997
On the Complexity of Function Pointer May-Alias Analysis.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
1996
Approximate Multiple Strings Search.
Proceedings of the Combinatorial Pattern Matching, 7th Annual Symposium, 1996