Verification of Cryptographic Primitive Programs with Algebraic AbstractionBow-Yaw Wang|Institute of Information Science, Academia Sinica2024/8/30 Fri 03:30 PM|302동 308호
[Distinguished Lecture Series] Addressing Challenges in Data Privacy and Privacy-Preserving ComputationSrini Devadas|MIT CSAIL2024/8/05 Mon 11:00 AM|302동 105호
Unlocking the Potential of Large Models for Vision Related TasksProf. Yanwei Fu|Fudan University2024/7/30 Tue 05:00 PM|302동 208호
Enhancing Human Intelligence through Interactive Data Visualizations for Scientific Discoveries권범철(Bum Chul Kwon) |IBM Research2024/7/24 Wed 02:00 PM|302동 209호
Exploiting pervasive leakage EM signals for communication, charging and sensingMinhao Cui|University of Massachusetts, Amherst2024/7/15 Mon 10:30 AM|302동 309-1호
Driving an Effective Data Exploration through a Perception-Based FrameworkGhulam Jilani Quadri|University of Oklahoma2024/7/10 Wed 04:00 PM|302동 209호
Evolving Internet Routing Security: RPKI Deployment, Management, and Future DirectionsTaejoong (Tijay) Chung|Virginia Tech2024/6/26 Wed 11:00 AM|301동 101호
LLM & genAI - Technology, Products, Market, and Some Important QuestionsSunghee Yun|Erudio Bio, Inc.2024/6/25 Tue 11:00 AM|Zoom - https://snu-ac-kr.zoom.us/j/81127706340
Quantum and Quantum-Inspired Computation for Next-Generation Wireless NetworksMinsung Kim|Yale University2024/6/25 Tue 10:30 AM|302동 309-1호
