Designing Software for Certification by Natarajan Shankar

A Unified Approach to Lower Bounds and Derandomization

An Overview of Algorithms and Theory for Group Testing

Cryptography in the Wild by Kenneth Patterson

From audio to audio + machinelearning by Juan Pablo Bello

On Watermarking Generative AI in Generative AI Era by Yu Xiang Wang

Beyond the computer vision comfort zone by Jean Ponce

Rethinking software engineering research and education by Carlo Ghezzi

Proving the security of real-world cryptography and protocols by Jonathan Protzenko

Alignment of Machine Learning Models: From CNNs to LLMs by Hamed Hassani

New Advances in Cryptography for Anonymity by Stefano Tessaro

Online Algorithms: Beyond the Worst Case by Anupam Gupta

Designing Software for Certification by Natarajan Shankar

CS Research Week January 2024-logo

CS Colloquium Counting, Sampling, and Synthesis: The Quest for Scalability by Kuldeep Meel

CS Colloquium Constraint Solving - Revisiting Optimal Arc Consistency by Roland Yap

Data Structures Meet Circuits and Cryptography by Alexander Golovnev

CS Colloquium Foundations of lattice based cryptography by Divesh Aggarwal

CS Colloquium Teaching Machines to See Our 3D World by Lee Gim Hee

Growing a Smart Contract Language: from Safety Net to Springboard by Dr Ilya Sergey

Recent Developments in DASH - Low Latency and CMCD by Roger Zimmermann

CS Colloquium Programmability in the Switch Data Plane by Chan Mun Choon

Attacking Non-Private Machine Learning by Nicholas Carlini

The Complexity of Compression by Rahul Santhanam

A New Learning Paradigm - Green Learning by C. -C. Jay Kuo