Robert Muth

Orcid: 0000-0002-7954-2157

According to our database1, Robert Muth authored at least 28 papers between 1996 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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


  Loading...