Service

Chairmanship and Editorial Activities

General Chair (with S. Fazzari), HOST 2026, Washington DC, USA, May 2026.
General Chair (with V. Sahula), IEEE-ISES 2025, Jaipur, India, December 2025.
Program Chair (with T. Yavuz), Warren B. Nelms IoT Conference 2025, Gainesville, FL, USA, December 2025.
Program Chair (with T. Yavuz), Warren B. Nelms IoT Conference 2024, Gainesville, FL, USA, December 2024.
Track Chair for Test, Verification, and Reliability, VLSID 2024, Kolkata, India, January 2024.
Guest Editor (with D. Pal), Springer Journal on Hardware and Systems Security, Special Issue on Security Verification, 2023.
Program Co-chair (with S. Katkoori), ISVLSI 2021, Virtual Conference, July 2021.
Security Track Co-chair (with S. Aftabhjahani), MTV 2019, Austin, TX, USA, December 2019.
Program Chair (with A. Casaka), IFIP-IoT 2019, Tampa, FL, USA, September 2019.
Program Chair (with A. Easwaran), ICESS 2019, Las Vegas, NV, USA, June 2019.
Track Chair for VLSI Test, Reliability, and Fault Tolerance Track (with B. C. Schaefer), GLSVLSI 2019, Washington DC, USA, May 2019.
Security Track Co-chair (with S. Aftabhjahani), MTV 2018, Austin, TX, USA, December 2018.
Guest editor (with M. A. Al Faruque and A. Sadeghi), IEEE D&T Special Issue on Secure Automotive Systems, 2018. (CFP)
Guest editor (with Y. Jin), Springer HaSS Special Issue on IoT Security, 2017.
Associate editor, Springer HaSS, 2016 — Present.
Guest editor (with S. Bhunia and J. Park), IEEE TMSCS Special Issue on Wearables, Implants, and Internet of Things. (CFP)
Associate editor, IEEE TMSCS, 2015 — 2018.
Conference Chair (with B. Jobstmann) FMCAD 2013, Portland, OR, USA, October 2013.
Guest editor (with J. Bhadra, M. Abadir, and L.-C Wang), JETTA Special Issue on Verification and Testing Challenges in Future Microprocessor and SoC Designs. (CFP)
Guest editor (with J. Bhadra, M. Abadir, L.-C Wang, and A. Gupta), ACM TODAES Special Issue on Verification Challenges with Multicore Systems. (CFP)
Conference chair (with D. Russinoff) ACL2 2009, Boston, MA, USA, May 2009.

Steering and Advisory Activities

Member, Trusted and Assured Microelectronics (TAME), 2018 — 2021. Core Member, Hardware Vulnerability Database Working Group
Advisory Board Member HakHam Systems LLC, 2014 — 2016.
Technical Advisory Board Member, SRC, 2012 — 2017.
Member, Analog and Mixed Signal Assertions Standards Requirements Committee, July 2009 — September 2011.
Steering Committee Member International Workshop on the ACL2 Theorem Prover and Its Applications, 2009 — 2011.

Program Committee Services

Program Committee Member HOST 2026, Washington DC, USA, May 2026.
Program Committee Member DATE 2026, Verona, Italy, April 2026.
Program Committee Member ICCD 2025, Dallas, TX, USA, November 2025.
Program Committee Member CASES 2025, Taipei, Taiwan, September-October 2025.
Program Committee Member GLSVLSI 2025, New Orleans, LA, USA, June-July 2025.
Program Committee Member ACL2-2025, Austin, TX, USA, May 2025.
Program Committee Member HOST 2025, San Jose, CA, USA, May 2025.
Program Committee Member ICCD 2024, Milan, Italy, November 2024.
Program Committee Member ISES 2023, New Delhi, India, December 2024.
Program Committee Member CASES 2024, Raleigh, NC, USA, September-October 2024.
Program Committee Member GLSVLSI 2024, Tampa Bay, FL, USA, June 2024.
Program Committee Member ISES 2023, Ahmedabad, India, December 2023.
Program Committee Member ICCD 2023, Washington DC, USA, November 2023.
Program Committee Member ICCAD 2023, San Francisco, CA, USA, October-November 2023.
Program Committee Member CASES 2023, Hamburg, Germany, September 2023.
Program Committee Member GLSVLSI 2023, Knoxville, TN, USA, June 2023.
Program Committee Member ISES 2022, Warangal, India, December 2022.
Program Committee Member ICCAD-SRC 2022, San Diego, CA, USA, November 2022.
Program Committee Member ICCD 2022, Lake Tahoe, USA, October 2022.
Program Committee Member DAC 2022, San Francisco, CA, USA, June 2022
Program Committee Member ACL2 2022, Austin, TX, USA, May 2022
Program Committee Member ISES 2021, Jaipur, India, December 2021
Program Committee Member IFIP-IoT 2021, Amsterdam, the Netherlands, November 2021.
Program Committee Member GLSVLSI 2021, Virtual Conference, May 2021
Program Committee Member ISES 2020, Virtual Conference, December 2020
Program Committee Member AsianHOST 2020, Virtual Conference, December 2020
Program Committee Member ASP-DAC 2020, Beijing, China, January 2020
Program Committee Member ISES 2019, Rourkela, India, December 2019
Program Committee Member AsianHOST 2019, Xi’an, China, December 2019
Program Committee Member FMCAD 2019, Palo Alto, CA, USA, September 2019
Program Committee Member HOST 2019, Washington DC, USA, May 2019
Program Committee Member DATE 2019, Firenze Fiera, Florence, Italy, March 2019
Program Committee Member AsianHOST 2018, Hong Kong SAR, China, December 2018
Program Committee Member MTV 2018, Austin, TX, USA, December 2018
Program Committee Member ICCAD 2018, San Diego, CA, USA, November 2018
Program Committee Member IVSW 2018, Costa Brava, Spain, July 2018
Program Committee Member DAC 2018, San Francisco, CA, USA, June 2018
Program Committee Member HOST 2018, McLean, VA, USA, May 2018
Program Committee Member DATE 2018, Dresden, Germany, March 2018
Program Committee Member ICCAD 2017, Irvine, CA, USA, November 2017
Program Committee Member AsianHOST 2017, Beijing, China, October 2017
Program Committee Member SOCC 2017, Munich, Germany, September 2017
Program Committee Member IVSW 2017, Thessaloniki, Greece, July 2017
Program Committee Member DAC 2017, Austin, TX, USA, June 2017
Program Committee Member ACL2 2017, Austin, TX, USA, May 2017
Program Committee Member HOST 2017, McLean, VA, USA, May 2017
Program Committee Member AsianHOST 2016, Taipei, Taiwan, December 2016
Program Committee Member MTV 2016, Austin, TX, USA, December 2016
Program Committee Member HVC 2016, Haifa, Israel, November 2016
Program Committee Member VLSI-SoC 2016, Tallinn, Estonia, October 2016
Program Committee Member SOCC 2016, Seattle, WA, USA, September 2016
Program Committee Member IVSW 2016, Catalunya, Spain, July 2016
Program Committee Member HOST 2016, Washington DC, USA, May 2016
Program Committee Member DAC 2016, Austin, TX, USA, June 2016
Program Committee Member ASP-DAC 2016, Macao, January 2016
Program Committee Member MTV 2015, Austin, TX, USA, December 2015
Program Committee Member VLSI-SoC 2015, Daejeon, Korea, October 2015
Program Committee Member DATE 2014, Dresden, Germany, March 2014
Program Committee Member ACL2 2015, Austin, TX, USA, October 2015
Program Committee Member FMCAD 2015, Austin, TX, USA, September 2015
Program Committee Member SOCC 2015, Beijing, China, September 2015
Program Committee Member HOST 2015, Washington DC, USA, May 2015
Program Committee Member VLSI 2015, Bangalore, India, January 2015
Program Committee Member MTV 2014, Austin, TX, USA, December 2014
Program Committee Member FMCAD 2014, Lausanne, Switzerland, October 2014
Program Committee Member SOCC 2014, Las Vegas, NV, USA, September 2014
Program Committee Member ACL2 2014, Vienna, Austria, July 2014
Program Committee Member VDAT 2014, Coimbatore, India, July 2014
Program Committee Member DATE 2014, Dresden, Germany, March 2014
Program Committee Member VLSI 2014, Mumbai, India, January 2014
Program Committee Member MTV 2013, Austin, TX, USA, December 2013
Program Committee Member SOCC 2013, Erlangen, Germany, September 2013
Program Committee Member ACL2 2013, Laramie, WY, USA, May 2013
Program Committee Member FMCAD 2012, Cambridge, United Kingdom, October 2012
Program Committee Member SOCC 2012, Niagra Falls, NY, USA, September 2012
Program Committee Member MTV 2011, Austin, TX, USA, December 2011
Program Committee Member CPP 2011, Taiwan, December 2011
Program Committee Member ACL2 2011, Austin, TX, USA, November 2011
Program Committee Member FMCAD 2011, Austin, TX, USA, November 2011
Program Committee Member ITP 2011, Nijmegen, the Netherlands, August 2011
Program Committee Member MTV 2010, Austin, TX, USA, December 2010
Program Committee Member ITP 2010, Edinburgh, United Kingdom, August 2010
Program Committee Member MTV 2009, Austin, TX, USA, December 2009
Program Committee Member FMCAD 2009, Austin, TX, USA, November 2009
Local Arrangements Co-chair (with A. Slobodová) FMCAD 2009, Austin, TX, USA, November 2009
Program Committee Member FMCAD 2008, Portland, OR, USA, November 2008
Scientific Committee Member MS 2008, Petra, Jordan, November 2008
Program Committee Member ESHOL 2008, Sydney, Australia, August 2008

Contributions to Conference Sessions

Panelist, HOST 2023, San Jose, CA, USA, May 2023. Panel Title: Automotive Security.
Panel Organizer (with S. Fazzari), DAC 2022, San Francisco, CA, USA, July 2022. Panel Title: Tacking Trust through Verification and Assessment: Wishful Thinking or Inevitable Reality?
Panel Organizer, ISVLSI 2021, Virtual Conference, July 2021. Panel Title: IoT and AI Will Develop Revolutionary Solutions to Critical Global Problems: A Real Promise or Just a Hype?
Panel Moderator, MTV 2019, Austin, TX, USA, December 2019. Panel Title: Security of Artificial Intelligence Systems.
Panel Moderator, 1st Annual Warren B. Nelms IoT Conference, December 2019. Panel Title: Technology Solutions for IoT: Are We There Yet?
Session Organizer (with Z. Yang), In CAD We Trust? The Question that Defines Our Microelectronics Future, Special Session, DAC 2019, Las Vegas, NV, USA, June 2019.
Panelist, ICCE 2019, Las Vegas, NV, USA, January 2018. Panel Title: Cybersecurity of Smart Electronics from IoT to Vehicles.
Panel Moderator, FICS Research Annual Conference on Cybersecurity Research, Gainesville, FL, USA, March 2018. Panel Title: Platform Security: Challenges and Solutions.
Panelist ITC 2017, Fort Worth, TX, USA, October 2017. Panel Title: Automotive Safety and Security: The Impending Challenges and Hopes on the Horizon.
Panelist HOST 2017, Washington DC, USA, May 2017. Panel Title: Architecture Support for System Security.
Panelist FICS Research Annual Conference on Cybersecurity Research, Gainesville, FL, USA, March 2017. Panel Title: Automotive Security Challenges.
Session Organizer and Chair (with W. Chen) MTV 2016, Austin, TX, USA, December 2016 (Special Session on Security Verification)
Session Organizer (with I. Harris, G. Fey, and M. Soeken) ICCAD 2016, Austin, TX, USA, November 2016 (Special Session on Design Understanding)
Session Organizer and Chair, SOCC 2016, Seattle, WA, USA, September 2016 (Special Session on Security and Validation of Embedded, Mobile, and IoT Systems)
Panelist, Dagstuhl Summer Seminar on Foundations of Security Scaling, Dagstuhl, Germany, August 2016.
Panelist IoT 2016, Austin, TX, USA, June 2016. Panel Title: System Design for IoT
Session Chair DAC 2015, San Francisco, CA, USA, June 2015. Session Title: #GotSecurity
Session Organizer (with J. Bhadra) VTS 2010, Santa Cruz, CA, USA, April 2010 (Innovative Practices session on verification/testing challenges in high-level synthesis)
Session Organizer and Chair MTV 2009, Austin, TX, USA, December 2009 (Invited session on verification issues for multicore systems)
Session Organizer and Chair MTV 2008, Austin, TX, USA, December 2008 (Invited session on post-silicon verification)

Other Conference Services

Organization Committee Member, DACPS 2020, San Francisco, CA, USA, June 2020. Workshop affiliated to DAC 2020.
Tutorial Chair FMCAD 2019, Palo Alto, CA, USA, September 2019
Organization Committee Member DACPS 2019, Las Vegas, NV, USA, June 2019
Publications Chair IVSW 2018, Costa Brava, Spain, July 2018
Organization Committee Member DACPS 2018, San Francisco, CA, USA, June 2018
Panel Committee Member, DAC 2018, San Francisco, CA, USA, June 2018
Publications Chair IVSW 2017, Thessaloniki, Greece, July 2017
Tutorial Committee Member HOST 2017, Washington DC, USA, May 2017
Publicity Chair SPACE 2015, Jaipur, India, October 2015
Best Paper Selection Committee Member HOST 2015, Washington DC, USA, May 2015
Publicity Chair VDAT 2014, Coimbatore, India, July 2014
Local Arrangements Chair DIFTS 2011, Austin, TX, USA, November 2011
Publicity Chair CAV 2011, Snowbird, UT, USA, July 2011
Local Arrangements Co-chair (with A. Slobodová) FMCAD 2009, Austin, TX, USA, November 2009
Webmaster (with H. Mony) FMCAD 2007, Austin, TX, USA, November 2007