CECS eNEWS Center for Embedded and Cyber-physical Systems, University of California, Irvine

Volume 16, Issue 2 Spring ‘16

Highlights IWCR 2016 Awards and Honors Student Profile Student Presenta-

tions Seminar Series

Inside this Issue: IWCR 2016 hosted by CECS 2 Awards & Honors 2 Student Profile 3 Farewell to Ahmed Nassar 4 Student Presentations 4 CECS Seminars 5 Publications 8

IWCR 2016 hosted by CECS

Cont. on Page 2

IWCR 2016 is the Fourth International Workshop on Cross-layer Resiliency and was held right in Irvine on July 25 to 26. The workshop was attended by academics and researchers from around the world like Japan, Germany, and Korea.

The objective of this year’s workshop is to continue to build the community of experts interested in multi-level resiliency challenges and solutions and possible paradigm shifts to consider reliability throughout the design flow, from devices to systems and applications.

The workshop featured a variety of distinguished speakers from leading companies like Broadcom, Northrop-Grumman, and Toyota. In addition, talks were given by UCI’s Professors Zoran Nenadic, Ahmed Nassar, and Mohamad Al Faruque. Cont

CECS eNews Page 2

IWCR 2016 hosted by CECS (cont. from pg 1)

Significant time was devoted to in-depth discussions in small breakout groups to identify key techni-cal themes and opportunities for collaborations. The workshop promoted international cross-agency funding opportunities by building upon the experience from various national funded programs cur-rently being executed in the general area of resiliency.

Cont on page 3

Tsudik Elected AAAS Fellow Gene Tsudik, CECS affiliated professor and the Chancellor's Professor of Computer Science has been elected a Fellow of the American Association for the Advancement of Science (AAAS) for his contributions to security and privacy of the internet. Prof. Tsudik is among the nine UCI faculty mem-bers have been honored as 2017 AAAS fellows. This achievement recog-nizes individuals for their great contribution to their specific fields and how they have changed the way we understand the world. Over the years, his research interests include numerous topics on security, privacy, and applied cryptography.

Al Faruque received Early Career Award and Edison Patent Award IEEE CEDA Ernest S. Kuh Early Career Award (http://ieee-ceda.org/awards/ernest-s-kuh-early-career) honors an individual who has made innovative and substantial technical contributions to the area of Elec-tronic Design Automation in the early stages of his or her career. Prof. Al Faruque was selected as the recipient of this very competitive award and was presented with it at ICCAD 2016. His current research is fo-cused on system-level design of embedded systems and/or Cyber-Physical Systems (CPS) with special interest on model-based design of software-integrated (multi)-physics systems, multi-core systems, real time scheduling algorithms, etc.

Awards/Honors

Page 3

Continued on page 4

Awards/Honors (cont. from pg 2)

CECS eNews

Ahmed Eltawil Wins Commercialization Award Showcase Professor Ahmed Eltawil won the 2016 Commercialization Award Showcase, which encourages commercialization of innovations from all fields of research and stimulates entrepreneurship at UCI. His mission is to create technology for enhancing the efficiency and capabilities of telecommunication systems. Professor Eltawil has founded a new company, Lextrum, to further advance this technology, develop strategic partnerships, and perform large scale field testing. His current research interests are in digital circuit and signal processing architectures for his communication systems.

Payam Heydari Named IEEE Fellow Payam Heydari, Professor of Electrical Engineering, from Irvine, CA, USA has been named an IEEE Fellow. Professor Heydari is being recognized for contributions to silicon-based millimeter-wave integrated circuits and systems. The Fellow designation is awarded by the board of directors to only one-tenth of one percent of the organization’s voting membership – those considered to have extraordinary records of accomplishment. His research covers the design of terahertz/millimeter-wave/RF/analog integrated circuits.

Student Profile—Hamid Nejatollahi

Hamid Nejatollahi is a first year PhD student in the EECS department at UC Irvine. He received his Bachelor’s degree in Computer Engineering and his master in Computer Architecture in University of Tehran, Iran in 2012 and 2014 respectively. From 2009 to 2015, he taught a variety of courses from “Multicore Embedded Systems” to “Digital Logic Design” as well as a number of core courses as a tutor. In addition, he worked as a teaching aide in embedded systems courses at the University of Tehran. His bachelor thesis was a design in high performance parallel fault simulation method for multicore systems on GPU with CUDA. He concluded his master degree with the thesis “Proposing a Multicore Architecture for Improving Dark Silicon”. In Winter 2015, he joined Professor Nikil Dutt’s research group at UCI. His current research interests include Embedded System design, Computer Architecture, and High Performance Computing.

Page 4

Continued on page 5

CECS eNews

Farwell to Ahmed Nassar

CECS Director and Professor Fadi Kurdahi hosted a farewell lunch on September 28, 2016 at Agora Churrascaria to celebrate his student, Ahmed Nassar, pictured third from the left, for receiving his hard-earned doctoral degree. Ahmed Nassar's Ph.D. dissertation was entitled, "Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures". Nassar has recently won the ASP-DAC best paper award for his paper entitled, "Lattice-Based Bollean Diagrams: Canonical, Order-Independent Graphical Representations of Bollean Functions". He is currently employed at Faraday Future in the San Francisco Bay area working on design of safety-critical

distributed real-time systems as well as novel application of formal methods to the verification and validation of full automated driving systems.

Student Paper Presentations

Kasra Moazzemi, Professor Nikil Dutt’s student presented his embedded systems research at the ESWEEK conference in Pittsburgh, PA on October 2nd, 2016. The paper was titled “HAMEX: Heterogeneous Architecture and Memory Exploration Framework”. His presentation proposes HAMEX, a framework that enables early design space exploration of heterogeneous systems with a focus on resolving memory access bottlenecks. In the presentation, the feasibility of design space exploration using HAMEX is exemplified by simulating a contemporary commercial heterogeneous platform and Moazzemi concludes that adopting different memory technologies will assist in exploring for power and performance improvements. Guantao Liu presented his paper titled, “A Segment-Aware Multi-Core Scheduler for SystemC PDES” at the 18th IEEE International high-Level Design Validation and Test Workshop in Santa Cruz, CA on October 6th, 2016. This paper proposes a dynamic load-profiling and segment-aware scheduling algorithm with optimized thread dispatching to maximize parallel SystemC simulation speed, which generally can be applied to all work-sharing PDES approaches. Liu notes that through this scheduler, their systematic evaluations consistently show a significant performance gain on top of the order-of-magnitude speedup of PDES, when compared with the previous scheduling policies. You can read more about their research on http://www.cecs.uci.edu/

Page 5

CECS Lectures and Seminars

On November 16th, Professor Nikil Dutt hosted the CECS Seminar “High Level Synthesis—Some Challenging Problems” with distinguished scholar and professor, George A. Constantinides from the Imperial College in London.

Professor Constantinides discussed the fundamental concepts towards two problems: customization of memory systems to algorithms, and customization of number representation to algorithms. The talk analyzes in deeper details the issue of customization of memory for heap manipulating programs, the potential of parametric analysis for synthesis of lightweight run-time scheduling changes, and automates code refactoring for rigorously controlled accuracy/ latency/area optimization.

Currently, Professor Constantinides holds the Royal Academy of Engineering/Imagination Technologies Chair in Digital Computation at Imperial College London, where he leads the Circuits and Systems research group. He has been a member of staff at Imperial since 2001. Over this time he has been the proud supervisor of 25 graduated PhD students and chaired the FPGA, FPT, and FPL conferences. He enjoys hard problems and espresso.

Continued on page 6

CECS eNews

CECS Seminar—George A. Constantinides

Page 6

CECS Lectures and Seminars

Continued on page 7

CECS eNews

CECS Seminar—Christian Krieg

Christian Krieg from Technische Universität Wien, in Vienna, Austria gave a talk titled “Malicious LUT: A Stealthy FPGA Trojan Injected and Triggered by the Design Flow” on November 17th. The presentation revolved around a novel type of Trojan trigger targeted at the field-programmable gate array (FPGA) design flow. Krieg, pictured second from the right, was hosted by Professor Nikil Dutt.

Krieg explained how the trigger behaves functionally and formally equivalent to the hardware de-scription language (HDL) specification throughout the entire FPGA design flow, until the design is written by the place-and-route tool as a bitstream configuration file. His team implemented the trig-ger signal using a 4-input lookup table (LUT), each of the inputs connecting to the same signal al-lowing them to directly address the least significant bit (LSB) and most significant bit (MSB) of the LUT. He demonstrated the attack with a simple example and discuss the effectiveness of the recent detection techniques on unused circuit identification (UCI) and functional analysis for nearly-unused circuit identification (FANCI).

Christian Krieg received the bachelor's and master's degree in electrical engi-neering from TU Wien and is now pursu-ing his PhD studies on hardware security at TU Wien. His research focuses on de-sign-level hardware Trojan design and detection. He also works on reasonable threat models for hardware Trojan at-tacks. Christian recently received the Wil-liam McCalla best paper award for a novel hardware Trojan implementation. At a wider scope, Christian's research interests include cyber-physical systems security and IoT security.

Page 7

CECS Lectures and Seminars

Continued on page 8

CECS eNews

CECS Seminar—Marco Zec

CECS Professor Daniel Gajski hosted a talk featur-ing Marko Zec from the University of Zagreb, Croatia on July 15. He discussed the techniques applied for achieving a balance between instruction throughput and FPGA resource utilization in a synthesizable scalar core and the advantages that comes with it. Zec elaborated that FPGA resource utilization in a synthesizable scalar core outperforms its proprietary counterparts (MicroBlaze, Nios, Cortex-M3) by 20% to 40% in industry-standard integer benchmarks (CoreMark, Dhrystone per MHz) while occupying less than 1000 6-input LUTs, and less than 650 LUTs in an area-optimized configuration. In addition, the core can be retargeted to execute subsets of ei-ther the emerging RISC-V or the traditional MIPS instruction sets, and is supported by contemporary GNU-based software tool chains.

Marko Zec received a BSc in electrical engineering from the University of Zagreb, where since 2005. he has been working as a project scientist on various computer networks projects with funding from ICSI Berkeley, the FreeBSD foundation, Boeing Integrated Defense Systems, and Ericsson. His re-search interests include operating systems, computer networks, software-based packet processing datapaths, and programmable logic.

CECS eNews Page 8

Publications

continued on next page...

Publications

Author, Title, Publication Conference Proceedings Yongzhi Li, Cheng Tao, Liu Liu, Gonzalo Seco-Granados, A. Lee Swindlehurst, “Channel estima-tion and uplink achievable rates in one-bit massive MIMO systems,” SAM2016: 1-5, July, 2016 Amodh Kant Saxena, Inbar Fijalkow, A. Lee Swindlehurst, “On one-bit quantized ZF precoding for the multiuser massive MIMO downlink,” SAM 2016: 1-5, July, 2016 Roberto Valentini, Marco Levorato, “Optimal aging-aware channel access control for wireless networks with energy harvesting,” ISIT 2016: 2754-2758, July, 2016 Ioannis S. Stamelakos, Amin Khajeh, Ahmed M. Eltawil, Gianluca Palermo, Cristina Silvano, Fadi J. Kurdahi, “A System-Level Exploration of Power Delivery Architectures for Near-Threshold Ma-nycores Considering Performance Constraints,” ISVLSI 2016: 484-489, July, 2016 Michael T. Goodrich, Ahmed Eldawy, “Parallel Algorithms for Summing Floating-Point Num-bers,” SPAA 2016: 13-22, July, 2016 William E. Devanny, Michael T. Goodrich, Kristopher Jetviroj, “Parallel Equivalence Class Sorting: Algorithms, Lower Bounds, and Distribution-Based Analysis,” SPAA 2016: 265-274, July, 2016 Ahmad Ibrahim, Ahmad-Reza Sadeghi, Gene Tsudik, Shaza Zeitouni, “DARPA: Device Attestation Resilient to Physical Attacks,” WISEC 2016: 171-182, July, 2016 Alex Nicolau, “Is computer science dying?” SAMOS 2016: ii, July, 2016 Jeffrey L. Krichmar, “Path planning using a spiking neuron algorithm with axonal delays,“ CEC 2016: 1219-1226, July, 2016 Jurn-Gyu Park, Nikil D. Dutt, Hoyeonjiki Kim, Sung-Soo Lim, “HiCAP: Hierarchical FSM-based Dy-namic Integrated CPU-GPU Frequency Capping Governor for Energy-Efficient Mobile Gam-ing,” ISLPED 2016: 218-223, August, 2016 Colin M. McCrimmon, Ming Wang, Lucas Silva Lopes, Po T. Wang, Alireza Karimi-Bidhendi, Charles Y. Liu, Payam Heydari, Zoran Nenadic, An H. Do, “A small, portable, battery-powered brain-computer interface system for motor rehabilitation,” EMBC 2016: 2776-2779, August, 2016

The following papers were published by CECS affiliates from Apr 2016 through Jun 2016(and unreported papers from previous eNews).

CECS eNews Page 9

Publications

Author, Title, Publication Conference Proceedings Po T. Wang, Keulanna Gandasetiawan, Colin M. McCrimmon, Alireza Karimi-Bidhendi, Charles Y. Liu, Payam Heydari, Zoran Nenadic, An H. Do, “Feasibility of an ultra-low power digital signal processor platform as a basis for a fully implantable brain-computer interface system,” EMBC 2016: 4491-4494, August, 2016

Juan José Besa Vial, William E. Devanny, David Eppstein, Michael T. Goodrich, “Scheduling Autonomous Vehicle Platoons Through an Unregulated Intersection,” ATMOS 2016: 5:1-5:14, August, 2016

Esha Ghosh, Michael T. Goodrich, Olga Ohrimenko, Roberto Tamassia, “Verifiable Zero-Knowledge Order Queries and Updates for Fully Dynamic Lists and Trees,” SCN 2016: 216-236, September, 2016

Tatiana Bradley, Sky Faber, Gene Tsudik, “Bounded Size-Hiding Private Set Intersection,” SCN 2016: 449-467, September, 2016

David Eppstein, Michael T. Goodrich, Jenny Lam, Nil Mamano, Michael Mitzenmacher, Manuel R. Torres, “Models and Algorithms for Graph Watermarking,” ISC 2016: 283-301, September, 2016

Emily L. Rounds, Eric O. Scott, Andrew S. Alexander, Kenneth A. De Jong, Douglas A. Nitz, Jeffrey L. Krichmar, “An Evolutionary Framework for Replicating Neurophysiological Data with Spik-ing Neural Networks,“ PPSN 2016: 537-547, September, 2016

Cesar Ghali, Gene Tsudik, Christopher A. Wood, “Network Names in Content-Centric Network-ing,” ICN 2016: 132-141, September, 2016

Michael T. Goodrich, Evgenios M. Kornaropoulos, Michael Mitzenmacher, Roberto Tamassia, “More Practical and Secure History-Independent Hash Tables,” ESORICS (2) 2016: 20-38, September, 2016

Aniket Shivam, Alexandru Nicolau, Alexander V. Veidenbaum, Mario Mango Furnari, Rosario Cam-marota, “Polygonal Iteration Space Partitioning,” LCPC 2016: 121-136, September, 2016

Hsinchung Chen, Mohammad Abdullah Al Faruque, Pai H. Chou, “Security and privacy chal-lenges in IoT-based machine-to-machine collaborative scenarios,” CODES+ISSS 2016: 30:1-30:2, October, 2016

Bryan Donyanavard, Tiago Mück, Santanu Sarma, Nikil Dutt, “SPARTA: runtime task allocation for energy efficient heterogeneous many-cores,” CODES+ISSS 2016: 27:1-27:10, October, 2016

continued on next page...

Publications

Page 10

continued on next page...

Author, Title, Publication Conference Proceedings Nikil Dutt, Fadi J. Kurdahi, Rolf Ernst, Andreas Herkersdorf, ”Conquering MPSoC complexity with principles of a self-aware information processing factory,” CODES+ISSS 2016: 37:1-37:4, Oc-tober, 2016

Hasan Erdem Yantir, Mohammed E. Fouda, Ahmed M. Eltawil, Fadi J. Kurdahi, “Process variations-aware resistive associative processor design,” ICCD 2016: 49-55

Steffen Peter, Tony Givargis, “Towards a timing attack aware high-level synthesis of integrated circuits,” ICCD 2016: 452-455, October, 2016

Md. Jawaherul Alam, Michael T. Goodrich, Timothy Johnson, “J-Viz: Finding algorithmic complex-ity attacks via graph visualization of Java bytecode,” VizSEC 2016: 1-8, October, 2016

Tigist Abera, N. Asokan, Lucas Davi, Jan-Erik Ekberg, Thomas Nyman, Andrew Paverd, Ahmad-Reza Sadeghi, Gene Tsudik, “C-FLAT: Control-Flow Attestation for Embedded Systems Soft-ware,”ACM Conference on Computer and Communications Security 2016: 743-754, October, 2016 Blerim Cici, Athina Markopoulou, Nikolaos Laoutaris, “SORS: a scalable online ridesharing sys-tem,” IWCTS@SIGSPATIAL 2016: 13-18, November, 2016

Michael T. Goodrich, Siddharth Gupta, Manuel R. Torres,“A topological algorithm for determining how road networks evolve over time,” SIGSPATIAL/GIS 2016: 31:1-31:10, November, 2016

Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing (Harry) Xu, Shan Lu, “Low-overhead and fully automated statistical debugging with abstraction refinement,” OOPSLA 2016: 881-896, Novem-ber, 2016

Khanh Nguyen, Lu Fang, Guoqing (Harry) Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu, ”Yak: A High-Performance Big-Data-Friendly Garbage Collector,” OSDI 2016: 349-365, November, 2016

Sujit Rokka Chhetri, Arquimedes Canedo, Mohammad Abdullah Al Faruque, “KCAD: kinetic cyber-attack detection method for cyber-physical additive manufacturing systems,” ICCAD 2016: 74, November, 2016

Anil Kanduri, Mohammad Hashem Haghbayan, Amir-Mohammad Rahmani, Pasi Liljeberg, Axel Jantsch, Nikil D. Dutt, Hannu Tenhunen, “Approximation knob: power capping meets energy ef-ficiency,” ICCAD 2016: 122, November, 2016

Sandip Ray, Ian G. Harris, Görschwin Fey, Mathias Soeken, “Multilevel design understanding: from specification to logic,” ICCAD 2016: 133, November, 2016

Publications

Publications

CECS eNews

continued on next page

Author, Title, Publication Conference Proceedings Mehdi Rahimzadeh, Hung Nguyen, Ardalan Amiri Sani, Fadi J. Kurdahi, Aditi Majumder, ”Rectangular stable power-aware mobile projection on planar surfaces,” VRCAI 2016: 97-105, December, 2016

Page 11 Publications

Publications

CECS—promoting creativity and pursuing discovery!

Center for Embedded and Cyber-Physical Systems, University of California, Irvine

To conduct leading-edge interdisciplinary research in embedded systems

emphasizing automotive, communications, and medical applications, and

to promote technology and knowledge transfer for the benefit of the indi-

vidual and society.

CECS Mission Statement:

CECS eNews Center for Embedded and Cyber-Physical Systems 3211 Engineering Hall University of California, Irvine Email: enews@cecs.uci.edu CECS Research Advisory Board Dr. Sanjiv Narayan, Vice President & Managing Director, Calypto Design Systems, New Delhi, India Dr. Dinesh Ramanathan, Executive Vice President, Cypress Semiconductor , San Jose, CA Dr. Yervant Zorian, Chief Architect, Synopsys Inc., Fremont, CA