Keynote 1: Leveraging Capture-Resilient Devices for Ubiquitous Access Control
(Prof. Michael Reiter)

Abstract - The physical capture of a mobile device places at risk any cryptographic keys that the device holds, and thus any capabilities that those keys engender (VPN access, file decryption, signing email, etc.). In this talk we report on an ongoing research project to develop a software-based approach to protect a key on a device that may be physically captured and reverse-engineered. This approach requires that the device is able to interact with a remote "capture protection server" to use its key, the role of which is to confirm that the device is presently in the possession of the user who initialized it (but is otherwise untrusted). An interesting feature of this approach is the ability of the user to dynamically change the capture protection server for her device, via a process we call "delegation". We describe the opportunities delegation presents for substantially generalizing prior approaches to key protection; a lightweight infrastructure to support secure delegation; and the ongoing implementation of this infrastructure in a testbed at Carnegie Mellon University.

¦Û 1993 ¦~°_´¿ªA°È©ó AT&T Bell Labs ¦h¦~¡A¨Ã©ó 1998 ¦~¾á¥ô¦w¥þ¨t²Î¬ã¨s«Ç (Secure System Research) ¥D¥ô¡C©ó 2002-2003 ¦~´Á¶¡¾á¥ô IEEE ¦w¥þ»P«O±K©Ê (Security and Privacy) §Þ³N Technical Committee ¡C²{¥ô¸ê°T¨t²Î¥æ©ö¦w¥þ©Ê (ACM Transactions on Information and System Security), ¸ê°T¦w¥þ°ê»Ú´Á¥Z (the International Journal of Information Security), ¤Î IEEE ¥æ©ö¨t²Î»P³nÅé¤uµ{´Á¥Z (IEEE Transactions on Software Engineering) ¡@½s¿è©e­û¡C

Michael Reiter is a Professor of Electrical & Computer Engineering and Computer Science at Carnegie Mellon University in Pittsburgh , Pennsylvania , USA . He received the B.Sc. degree in mathematical sciences from the University of North Carolina in 1989, and the M.Sc. and Ph.D. degrees in computer science from Cornell University in 1991 and 1993, respectively. He joined AT&T Bell Labs in 1993 and became a founding member of AT&T Labs ?Research when NCR and Lucent Technologies (including Bell Labs) were split away from AT&T in 1996. He returned to Bell Labs in 1998 as Director of Secure Systems Research, and then joined Carnegie Mellon in 2001.

Dr. Reiter's research interests include all areas of computer and communications security and distributed computing. He regularly publishes and serves on conference organizing committees in these fields, and has served as program chair for the flagship computer security conferences of the IEEE, the ACM, and the Internet Society. He is a member of the editorial boards of ACM Transactions on Information and System Security, the International Journal of Information Security, and IEEE Transactions on Software Engineering. He also served as Chair of the IEEE Technical Committee on Security and Privacy for 2002?003.

Keynote 2: Analog, Mixed-Signal, and RF Circuit Design
(Prof. Tamal Mukherjee)

Abstract --- Analog, mixed-signal and RF circuit design is constrained by process technology trends on one side, and by application driver trends on the other. Design involves choosing the right system and circuit topology based on the application requirements, and then sizing, biasing, and physically designing the chip to meet these requirements. The recent introduction of simulation-based synthesis tools for analog circuits has made it possible to efficiently size/bias/layout arbitrary circuits in the range of a few hundred devices. This technology can be very useful in estimating the impact of process and application driver trends on circuit performance. This talk will describe a study of how LNA and mixer circuits for 1.5 GHz, 2.4 GHz and 3.2 GHz operate in scaled CMOS and SiGe processes.

Extending the sizing/biasing methods to larger block-level designs such as phase lock loops or data converters have not succeeded. The time to fully evaluate (i.e., to fully simulate) each complete circuit solution candidate in an iterative design loop is prohibitive. In this talk, we show how to circumvent this problem with a careful mix of behavioral models for less-critical parts of the block, and pareto-optimal trade-off models for the critical components. In particular, we show how to adapt current circuit synthesis techniques to build the required tradeoff models. As a concrete example of the methodology, we show detailed simulation results from the synthesis of critical portions of a 500MHz digital frequency synthesizer PLL.

Two of the application drivers in RF circuits include low power operation and reconfiguration capabilities. This talk will also introduce a dual hopping that takes advantage of RF MEMS reconfigurable capacitors and micromechanical mixers integrated on the same chip as SiGe and CMOS electronics to deliver both low power and reconfigurable capabilities.

Prof. Tamal Mukherjee
²{¥ô¥d¤º°ò¬ü¶©¤j¾Ç¸ê¹q¤uµ{¨t MEMS ¬ã¨s«Ç°Æ±Ð±Â
¤Î Electronic Design Automation ¤¤¤ß°Æ¥D¥ô
¬ã¨s±Mªø¬° MEMS, ¯S§O¬O CAD ¥H¤Î Analog CAD.

Tamal Mukherjee received the B.S., M.S., and Ph.D. degrees in Electrical and Computer Engineering from Carnegie Mellon University in 1987, 1990, and 1995 respectively. He is currently an Associate Research Professor in Electrical and Computer Engineering Department and the Associate Director of the Microelectromechanical Systems (MEMS) Laboratory at Carnegie Mellon University .

His research interests include design techniques and methodologies for microsystems integrating analog, RF, microelectromechanical and microfluidic functionality. He has recently developed approaches to modeling, simulation, extraction, and synthesis of microelectromechanical systems. Currently he is applying these techniques for the design of lab-on-a-chip microsystems integrating biomolecular and chemical mixing, reaction and separation functionalities onto a single substrate. He is also currently focused on exploiting micromachined enhancements for the design of low power, wide bandwidth RF circuits.

Keynote 3: Creating Visually Exciting Content Using Image Based Rendering
(Prof. Tsuhan Chen)

Abstract --- Through the convergence of image processing, computer vision, and computer graphics, new research opportunities are emerging. One exciting area is image-based rendering, where scenes are rendered directly from images captured by cameras, reducing the need for intensive 3D modeling. Now widely used in applications ranging from movie special effects (e.g., "Matrix", "Matrix Reloaded", and the upcoming "Matrix Revolutions") to building virtual environments, image-based rendering has become an essential tool for creating visually exciting content. In this talk we will survey recent developments in image-based rendering. While discussing the capturing mechanism for image-based rendering, we will reveal the link between image-based rendering and the Sampling Theorem by Harry Nyquist 75 years ago.

Prof. Tsuhan Chen

²{¥ô¥d¤º°ò¤j¾Ç¸ê¹q¤u µ{¨t ±Ð±Â¤Î IEEE Transactions on Multimedia Á`½s¿è¡A¥D«ù¥ý¶i¦h´CÅé¹êÅç«Ç¡] Advanced Multimedia Processing Lab. ¡^¡C´¿¥ô¾ AT&T Bell Laboratories ¡] 1993-1997 ¡^¡C CIT ¡] California Institute of Technology ¡^¹q¾÷¤u µ{ ³Õ¤h¡AºaÀò¬ü°ê°ê®a¬ì¾Ç°òª÷·| NSF CAREER Award ¡A¾Ö¦³ 13 ¥ó±M§Q¡CµÛ§@¦³ Advances in Multimedia: Systems, Standards, and Network ¤@®Ñ¡C

Tsuhan Chen has been with the Department of Electrical and Computer Engineering, Carnegie Mellon University , Pittsburgh , Pennsylvania , since October 1997, where he is now a Professor. He directs the Advanced Multimedia Processing Laboratory, with research efforts centered around the convergence of image processing, computer vision, and computer graphics. He also co-directs the “I TRI Lab at CMU, a collaborative research laboratory sponsored by Industrial Technology Research Institute (ITRI), with research focus on System-on-Chip (SoC) and multimedia/security applications.

Tsuhan currently serves as the Editor-in-Chief of IEEE Transactions on Multimedia. He has also served in the editorial boards of IEEE Trans. on Image Processing, Trans. on Circuits and Systems for Video Technology, Trans. on Signal Processing, and Signal Processing Magazine. He served as the founding chair of the Multimedia Technical Committee in IEEE Signal Processing Society. He co-edited a book titled Advances in Multimedia: Systems, Standards, and Networks with focus on the ISO MPEG-4 Standard.

Tsuhan received the B.S. degree in electrical engineering from the National Taiwan University in 1987, and the M.S. and Ph.D. degrees in electrical engineering from the California Institute of Technology, Pasadena , California , in 1990 and 1993, respectively. From August 1993 to October 1997, he worked in the Visual Communications Research Department, AT&T Bell Laboratories.

12/11 Short Course: Overview of Processing and Design Technology for Integrated MEMS

Application-Specific Integrated-MEMS Processing can provide low-cost, easy access to CMOS MEMS technology for the design of micromachined structures integrated with electronics. Applications include accelerometers, gyroscopes, IR sensors and imagers, RF filters, electrothermal converters, and force sensors.

This short course provides an overview of the post-foundry application-specific integrated MEMS process technology. The short course is intended for process engineers familiar with both MEMS and CMOS microfabrication as well as designers already familiar with both CMOS electronics and MEMS design. In the processing segment, we describe the three post-foundry steps that can be used to sacrificially etch dielectric and silicon layers for electrical, thermal and stress isolation needed for a variety of applications ranging from sensors and actuators to RF MEMS. In the design segment, we describe a Cadence based circuit-level design methodology for simultaneous design of circuits and MEMS on a single chip.

12/12 Short Course: An Introduction to Modern Cryptology

In this tutorial, we will provide an introduction to basic concepts and primitives in modern cryptology. This tutorial explains what cryptographic primitives do and do not achieve; how cryptographic mechanisms can be effectively used within larger security systems and protocols; and the dramatic ways in which cryptographic mechanisms can fall vulnerable to cryptanalysis in deployed systems. No prior background in cryptology will be assumed.