Robert Muth

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Injectively k-Colored Rooted Forests.

Thomas Einolf, Robert Muth, Jeffrey Wilkinson

Graphs Comb., October, 2023

The configuration space of a robotic arm over a graph.

Derric Denniston, Robert Muth, Vikram Singh

Discret. Math. Algorithms Appl., October, 2023

Privacy-enhancing mechanisms for decision-making DApps.

Robert Muth

PhD thesis, 2023

Tornado Vote: Anonymous Blockchain-Based Voting.

Robert Muth, Florian Tschorsch

IACR Cryptol. ePrint Arch., 2023

2022

Towards Smart Contract-based Verification of Anonymous Credentials.

Robert Muth, Tarek Galal, Jonathan Heiss, Florian Tschorsch

IACR Cryptol. ePrint Arch., 2022

Analysis of Arbitrary Content on Blockchain-Based Systems using BigQuery.

Marcel Gregoriadis, Robert Muth, Martin Florian

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.

Jonathan Heiss, Robert Muth, Frank Pallas, Stefan Tai

Proceedings of the Service-Oriented Computing - 20th International Conference, 2022

2021

Searching for quicksand ideals in partially ordered sets.

Alexas Iams, Hannah Johnston, Robert Muth

Australas. J Comb., 2021

Empirical Analysis of On-chain Voting with Smart Contracts.

Robert Muth, Florian Tschorsch

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2020

SmartDHX: Diffie-Hellman Key Exchange with Smart Contracts.

Robert Muth, Florian Tschorsch

IACR Cryptol. ePrint Arch., 2020

2019

Super RSK Correspondence with Symmetry.

Robert Muth

Electron. J. Comb., 2019

Recommender Systems on Homomorphically Encrypted Databases for Enhanced User Privacy.

Samuel Brack, Robert Muth, Stefan Dietzel, Björn Scheuermann

Proceedings of the 2019 IEEE 44th LCN Symposium on Emerging Topics in Networking (LCN Symposium), 2019

BBBlockchain: Blockchain-Based Participation in Urban Development.

Robert Muth, Kerstin Eisenhut, Jochen Rabe, Florian Tschorsch

Proceedings of the 15th International Conference on eScience, 2019

2018

Anonymous Datagrams over DNS Records.

Samuel Brack, Robert Muth, Stefan Dietzel, Björn Scheuermann

Proceedings of the 43rd IEEE Conference on Local Computer Networks, 2018

2010

Native Client: a sandbox for portable, untrusted x86 native code.

Bennet Yee, David Sehr, Gregory Dardyk, J. Bradley Chen, Robert Muth, Tavis Ormandy, Shiki Okasaka, Neha Narula, Nicholas Fullagar

Commun. ACM, 2010

Adapting Software Fault Isolation to Contemporary CPU Architectures.

David Sehr, Robert Muth, Cliff Biffle, Victor Khimenko, Egor Pasko, Karl Schimpf, Bennet Yee, Brad Chen

Proceedings of the 19th USENIX Security Symposium, 2010

2008

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation.

Erik R. Altman, Bruce R. Childers, Robert S. Cohn, Jack W. Davidson, Koen De Bosschere, Bjorn De Sutter, M. Anton Ertl, Michael Franz, Yuan Xiang Gu, Matthias Hauswirth, Thomas Heinz, Wei-Chung Hsu, Jens Knoop, Andreas Krall, Naveen Kumar, Jonas Maebe, Robert Muth, Xavier Rival, Erven Rohou, Roni Rosner, Mary Lou Soffa, Jens Tröger, Christopher A. Vick

Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008

2005

Pin: building customized program analysis tools with dynamic instrumentation.

Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood

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.

Chi-Keung Luk, Robert Muth, Harish Patil, Robert S. Cohn, P. Geoffrey Lowney

Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004

2002

Profile-guided post-link stride prefetching.

Chi-Keung Luk, Robert Muth, Harish Patil, Richard Weiss, P. Geoffrey Lowney, Robert S. Cohn

Proceedings of the 16th international conference on Supercomputing, 2002

2001

alto: a link-time optimizer for the Compaq Alpha.

Robert Muth, Saumya K. Debray, Scott A. Watterson, Koenraad De Bosschere

Softw. Pract. Exp., 2001

2000

Compiler techniques for code compaction.

Saumya K. Debray, William S. Evans, Robert Muth, Bjorn De Sutter

ACM Trans. Program. Lang. Syst., 2000

Code Specialization Based on Value Profiles.

Robert Muth, Scott A. Watterson, Saumya K. Debray

Proceedings of the Static Analysis, 7th International Symposium, 2000

On the Complexity of Flow-Sensitive Dataflow Analyses.

Robert Muth, Saumya K. Debray

Proceedings of the POPL 2000, 2000

1999

Link-Time Improvement of Scheme Programs.

Saumya K. Debray, Robert Muth, Scott A. Watterson

Proceedings of the Compiler Construction, 8th International Conference, 1999

1998

Alias Analysis of Executable Code.

Saumya K. Debray, Robert Muth, Matthew Weippert

Proceedings of the POPL '98, 1998

1997

On the Complexity of Function Pointer May-Alias Analysis.

Robert Muth, Saumya K. Debray

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

Approximate Multiple Strings Search.

Robert Muth, Udi Manber

Proceedings of the Combinatorial Pattern Matching, 7th Annual Symposium, 1996