Crypto Seminar - Jiahui Liu December 5, 2024 The Black-Box Simulation Barrier Persists in a Fully Quantum World
Crypto Seminar - John Kolesar November 21, 2024 Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence
Innovative CMU Secure Blockchain Initiative Research, in Collaboration with Anaxi Labs, Focuses on Improving the Efficiency of Cryptographic Proof Systems Tuesday, December 10, 2024 A team of Carnegie Mellon University researchers featuring Riad Wahby , assistant professor in the Department of Electrical and Computer Engineering, Kunming Jiang , Ph.D. student in the Computer Science Department, and Fraser Brown, assistant professor in the Software and Societal Systems Department, is overcoming the tradeoff between approaches that optimize for the CPU emulator, which is generally easier to program, versus the direct translation approach, which is potentially much less expensive in new research that is supported by Anaxi Labs. More
Searching for the Limits of Local Error Correction Tuesday, April 30, 2024 Information can be finicky, especially if it has to travel. Whether you're making a phone call over a wireless network, playing music from a CD, or saving a document to a hard drive, when you transform or transmit information from one location to another, it has to go through many channels. Peter Manohar, a Ph.D. student in CMU's Computer Science Department, worked with former assistant professor Pravesh Kothari to develop ways to improve error-correction algorithms by breaking apart the math behind them. More
