|
Milos Prvulovic
Professor
School of Computer Science, College of Computing
Georgia Institute of Technology
KACB 2332
266 Ferst Dr
Atlanta, GA 30332-0280
Teaching
Spring 2017:
OMS CS 6290 - High Perfomance Computer Architecture
Fall 2017:
OMS CS 6290 - High Perfomance Computer Architecture
Fall 2017:
CS 4290/6290 - High Perfomance Computer Architecture (cross-listed as ECE 4100/6100)
For classes from prior semesters, click here
|
Research Interests
Computer architecture and physical side channels.
This includes beneficial uses of side channels, e.g. using side channels for program monitoring, profiling,
detection of malware, detection of malicious hardware, etc.
My interest in computer architecture also includes hardware support for secure execution,
multi-core perfomance, including synchronization, transactional execution, etc.
Publications
Nader Sehatbakhsh, Baki Berkay Yilmaz, Alenka Zajic, and Milos Prvulovic,
EMSim: A Microarchitecture-Level Simulation Tool for Modeling Electromagnetic Side-Channel Signals,
IEEE International Symposium on High-Performance Computer Architecture (HPCA),
February 2020.
Nader Sehatbakhsh, Baki Berkay Yilmaz, Alenka Zajic, and Milos Prvulovic,
A New Side-Channel Vulnerability on Modern Computers by Exploiting Electromagnetic Emanations from the Power Management Unit,
IEEE International Symposium on High-Performance Computer Architecture (HPCA),
February 2020.
Haider A. Khan, Nader Sehatbakhsh, Luong N. Nguyen, Robert Callan, Arie Yeredor, Milos Prvulovic, and Alenka Zajic,
IDEA: intrusion detection through electromagnetic-signal analysis for critical embedded and cyber-physical systems,
to appear in IEEE Transactions on Dependable and Secure Computing.
Baki Berkay Yilmaz, Milos Prvulovic, and Alenka Zajic,
Electromagnetic Side Channel Information Leakage Created by Execution of Series of Instructions in a Computer Processor,
IEEE Transactions on Information Forensics and Security (TIFS),
Pages 776-789, Vol. 15, 2020 (IEEE Xplore).
Haider A. Khan, Nader Sehathakhsh, Luong N. Nguyen, Milos Prvulovic, and Alenka Zajic,
Malware detection in embedded systems using neural network model for electromagnetic side-channel signals,
Journal of Hardware and Systems Security,
December 2019.
Baki Berkay Yilmaz, Milos Prvulovic, and Alenka Zajic,
Communication Model and Capacity Limits of Covert Channels Created by Software Activities,
IEEE Transactions on Information Forensics and Security (TIFS),
available for Early Access in IEEExplore, November 2019 (IEEE Xplore).
Nader Sehatbakhsh, Alireza Nazari, Monjur Alam, Frank Werner, Yuanda Zhu, Alenka Zajic, and Milos Prvulovic,
REMOTE: Robust External Malware Detection Framework by Using Electromagnetic Signals,
IEEE Transactions on Computers (TOC),
available for Early Access in IEEExplore, October 2019 (IEEE Xplore).
B. Yilmaz, E. Ugurlu, A. Zajic, and M. Prvulovic,
Detecting Cellphone Camera Status at Distance by Exploiting Electromagnetic Emanations,
IEEE Conference on Military Communications (MILCOM),
November 2019.
B. Yilmaz, A. Zajic, and M. Prvulovic,
Capacity of EM Side Channel Created by Instruction Executions in a Processor,
IEEE IEMCON,
October 2019.
Sunjae Park, Christopher J Hughes, and Milos Prvulovic,
Forgive-TM: Supporting Lazy Conflict Detection In Eager Hardware Transactional Memory,
28th International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2019.
N. Nguyen, C. Cheng, M. Prvulovic and A. Zajic,
Creating a Backscattering Side Channel to Enable Detection of Dormant Hardware Trojans,
IEEE Transactions on Very Large Scale Integration Systems (TVLSI),
Vol. 27, No. 7, July 2019 (IEEE Xplore).
M. Ruble, C. E. Hayes, M. Welborn, A. Zajic, M. Prvulovic and A. M. Pitruzzello,
Hyperdimensional Bayesian Time Mapping (HyperBaT): A Probabilistic Approach to Time Series Mapping of Non-Identical Sequences,
IEEE Transactions on Signal Processing,
Pages 3719-3731, Vol. 67, No. 14, July 2019 (IEEE Xplore).
Richard Rutledge, Sunjae Park, Haider Khan, Alessandro Orso, Milos Prvulovic, and Alenka Zajic,
Zero-overhead path prediction with progressive symbolic execution,
41st ACM/IEEE International Conference on Software Engineering (ICSE),
May 2019.
Baki Yilmaz, Elvan Ugurlu, Alenka Zajic, and Milos Prvulovic,
Instruction level program tracking using electromagnetic emanations,
International Society for Optics and Photonics SPIE Cyber Sensing Security+Defense Conference,
May 2019.
Baki Yilmaz, Alenka Zajic, and Milos Prvulovic,
Capacity of deliberate side-channels created by software activities,
IEEE Conference on Military Communications (MILCOM),
October 2018.
Moumita Dey, Alireza Nazari, Alenka Zajic, and Milos Prvulovic,
EMProf: Memory Profiling via EM-Emanation in IoT and Hand-Held Devices,
51st ACM/IEEE International Symposium on Microarchitecture (MICRO),
October 2018.
M. Alam, H. A. Khan, M. Dey, N. Sinha, R. Callan, A. Zajic, and M. Prvulovic,
One&Done: A Single-Decryption EM-Based Attack on OpenSSL’s Constant-Time Blinded RSA,
37th USENIX Security Symposium,
August 2018.(Paper PDF and Presentation Slides)
F. Werner, A. R. Djordjevic, D. I. Olcan, M. Prvulovic, and A. Zajic,
Experimental validation of localization method for finding magnetic sources on IoT devices,
Proceedings of the International Symposium on Electromagnetic Compatibility (EMC Europe),
August 2018.
Frank Werner, Derrick Chu, Antonije R. Djordjevic, Dragan I. Olcan, Milos Prvulovic, and Alenka Zajic,
A Method for Efficient Localization of Magnetic-field Sources Excited by the Execution of Instructions in a Processor,
IEEE Transactions on Electromagnetic Compatibility,
Pages 613-622, Vol. 60, No. 3, June 2018 (IEEE Xplore).
Nader Sehatbakhsh}, Alireza Nazari, Monjur Alam, Alenka Zajic, and Milos Prvulovic,
Syndrome: Spectral Analysis for Anomaly Detection on Medical IoT and Embedded Devices,
IEEE International Symposium on Hardware Oriented Security and Trust (HOST),
May 2018.
Haider Khan, Monjur Alam, Alenka Zajic, and Milos Prvulovic,
Detailed tracking of program control flow using analog side-channel signals: A promise for IoT malware detection and a threat for many cryptographic implementations,
International Society for Optics and Photonics SPIE Cyber Sensing Security+Defense Conference},
April 2018.
C.-L. Cheng, L. N. Nguyen, M. Prvulovic, and A. Zajic,
Exploiting Switching of Transistors in Digital Electronics for RFID Tag Design,
IEEE International Conference on RFID,
April 2018.
Best paper award
Baki Yilmaz, Alenka Zajic, and Milos Prvulovic,
Modelling Jitter in Wireless Channel Created by Processor-Memory Activity,
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP),
April 2018.
B. Yilmaz, R. Callan, M. Prvulovic, and A. Zajic,
Capacity of the EM Covert/Side-Channel Created by the Execution of Instructions in a Processor,
IEEE Transactions on Information Forensics and Security,
Pages 605-620, Vol. 13, No. 3, March 2018 (IEEE Xplore).
Baki Berkay Yilmaz, Robert Callan, Milos Prvulovic, and Alenka Zajic,
Quantifying Information Leakage in a Processor Caused by the Execution of Instructions,
IEEE Conference on Military Communications (MILCOM),
October 2017.
A. Zajic, M. Prvulovic, and D. Chu,
Path Loss Prediction for Electromagnetic Side-Channel Signals,
Proceedings of the 10th European Conference on Antennas and Propagation (EuCAP),
April 2017.(PDF)
M. Prvulovic, A. Zajic, R. L. Callan, and C. J. Wang,
A Method for Finding Frequency-Modulated and Amplitude-Modulated Electromagnetic Emanations in Computer Systems,
IEEE Transactions on Electromagnetic Compatibility (TEMC),
Pages 34-42, Vol. 59, No. 1, February 2017.
(IEEE Xplore, PDF)
N. Sehatbakshsh, R. Callan, M. Alam, M. Prvulovic, and A. Zajic,
Leveraging Electromagnetic Emanations for IoT Security,
Hardware Demo at IEEE International Symposium on Hardware Oriented Security and Trust (HOST),
May 1-5, 2017. Won 2nd place in HOST Hardware Demo Competition.
(PDF)
N. Sehatbakhsh, A. Nazari, A. Zajic, and M. Prvulovic,
Spectral Profiling: Observer-Effect-Free Profiling by Monitoring EM Emanations,
Proceedings of the 49th ACM/IEEE International Symposium on Microarchitecure (MICRO),
October 2016. Best paper award.
(IEEE Xplore, PDF)
C. Wang, R. Callan , A. Zajic, and M. Prvulovic,
An Algorithm for Finding Carriers of Amplitudemodulated Electromagnetic Emanations in Computer Systems,
Proceedings of the 10th European Conference on Antennas and Propagation (EuCAP),
April 2016.
(IEEE Xplore)
S. Park , M. Prvulovic, and C. Hughes,
PleaseTM: Enabling Transaction Conflict Management in Requester-wins Hardware Transaction Memory,
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture (HPCA),
Pages 285-296, March 2016.
(IEEE Xplore)
R. Callan, N. Popovic, A. Daruna, E. Pollmann, A. Zajic, and M. Prvulovic,
Comparison of Electromagnetic Side-Channel Energy Available to the Attacker from Different Computer Systems,
Proceedings of the IEEE Symposium on Electromagnetic Compatibility (EMC),
Pages 219-223, August 2015.
(IEEE Xplore)
Ching-Kai Liang, Milos Prvulovic,
MiSAR: Minimalistic Synchronization Accelerator with Resource Overflow Management,
Proceedings of the 42nd International Symposium on Computer Architecture (ISCA),
Pages 414-426,June 2015.
(ACM DL, PDF)
Robert Callan, Alenka Zajic, Milos Prvulovic,
FASE: Finding Amplitude-modulated Side-channel Emanations,
Proceedings of the 42nd International Symposium on Computer Architecture (ISCA),
Pages 592-603,June 2015.
(ACM DL, PDF)
Robert Callan, Nina Popovic, Alenka Zajic, Milos Prvulovic,
A New Approach for Measuring Electromagnetic Side-Channel Energy Available to the Attacker in Modern Processor-Memory Systems,
Proceedings of the 9th European Conference on Antennas and Propagation (EuCAP),
April 2015.
Robert Callan, Alenka Zajic, Milos Prvulovic,
A Practical Methodology for Measuring the Side-Channel Signal Available to the Attacker for Instruction-Level Events,
Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO),
Pages 242-254, December 2014.
(ACM DL, PDF)
Alenka Zajic, Milos Prvulovic,
Experimental Demonstration of Electromagnetic Information Leakage from Modern Processor-Memory Systems,
IEEE Transactions on Electromagnetic Compatibility (TEMC),
Pages 885-893, Vol. 56, No. 4, August 2014.
(IEEE Xplore)
Jungju Oh, Alenka Zajic, Milos Prvulovic,
Traffic Steering Between a Low-Latency Unswitched TL Ring and a High-Throughput Switched On-chip Interconnect,
Proceedings of the 22nd IEEE International Conference on Parallel Architecture and Compilation Techniques (PACT),
Pages 309-318, September 2013.
(IEEE Xplore, PDF)
Ioannis Doudalis, James Clause, Guru Venkataramani,
Milos Prvulovic, and Alessandro Orso,
Effective and Efficient Memory Protection
Using Dynamic Tainting,,
IEEE Transactions on Computers (TC),
Pages 87-100, Vol. 61, Issue 1, January 2012.
(IEEE Xplore, PDF)
Ioannis Doudalis and Milos Prvulovic,
HARE++: Hardware Assisted Reverse Execution Revisited,
Workshop on Runtime Environments/Systems, Layering, and
Virtualized Environments (RESoLVE),
March 2011.
(PDF)
Ioannis Doudalis and Milos Prvulovic,
HARE: Hardware Assisted Reverse Execution,
Proceedings of the 16th IEEE International Symposium on
High-Performance Computer Architecture (HPCA),
January 2010. (IEEE Xplore, PDF)
The Bulk Multicore Architecture for Improved ProgrammabilityJosep Torrellas,
Luis Ceze,
James Tuck,
Calin Cascaval,
Pablo Montesinos,
Wonsun Ahn,
Milos PrvulovicCommunications of the ACM (CACM), Pages 58-65, Vol. 52, Issue 12, December 2009
Guru Venkataramani, Christopher J. Hughes, Sanjeev Kumar, and Milos Prvulovic,
Coherence Miss Classification For Performance Debugging in Multi-Core Processors,
Thirteenth Workshop on Interaction between Compilers and Computer Architecture (Interact-13),
held in conjunction with HPCA'09,
February 2009. (PDF)
Guru Venkataramani, Ioannis Doudalis, Yan Solihin, and Milos Prvulovic,
FlexiTaint: A Programmable Accelerator for Dynamic Taint Propagation,
Proceedings of the 14th IEEE International Symposium on
High-Performance Computer Architecture (HPCA), pages 173-184,
February 2008. (PDF)
Brian Rogers, Chenyu Yan, Sidhartha Chhabra, Milos Prvulovic, Yan Solihin,
Single-Level Integrity and Confidentiality Protection for
Distributed Shared Memory Multiprocessors,
Proceedings of the 14th IEEE International Symposium on
High-Performance Computer Architecture (HPCA), pages 161-172,
February 2008.
Samantika Subramaniam, Milos Prvulovic, and Gabriel H. Loh,
PEEP: Exploiting Predictability of Memory Dependences in SMT Processors,
Proceedings of the 14th IEEE International Symposium on
High-Performance Computer Architecture (HPCA), pages 137-148,
February 2008. (PDF)
Brian Rogers, Siddhartha Chhabra, Yan Solihin, and Milos Prvulovic,
Using Address Independent Seed Encryption and Bonsai Merkle Trees
to Make Secure Processors OS- and Performance-Friendly,
Proceedings of the 40th Annual IEEE/ACM Symposium on Microarchitecture (MICRO),
December 2007. (PDF)
Guru Venkataramani, Brandyn Roemer, Yan Solihin, and Milos Prvulovic,
MemTracker: Efficient and Programmable Support for
Memory Access Monitoring and Debugging,
Proceedings of the 13th IEEE International Symposium on
High-Performance Computer Architecture (HPCA-13), pages 273-284,
February 2007. (PDF)
Milos Prvulovic,
CORD: Cost-effective (and nearly overhead-free) Order
Recording and Data race detection,
Proceedings of the 12th IEEE International Symposium on
High-Performance Computer Architecture (HPCA-12), pages 236-247,
February 2006. (PDF)
Rithin Shetty, Mazen Kharbutli, Yan Solihin, and Milos Prvulovic,
HeapMon: A helper-thread approach to programmable, automatic, and low-overhead memory bug detection,
IBM Journal of Research and Development,
pages 261-275, Vol 50, Number 2/3, February 2006.
Brian Rogers, Yan Solihin, Milos Prvulovic,
Memory Predecryption: Hiding the Latency Overhead of Memory Encryption,
ACM SIGARCH Computer Architecture News, special issue on
the Workshop on Architectural Support for Security and
Anti-virus (WASSA),
pages 27-33, Vol. 33, Issue 1, March 2005.
Rithin Shetty, Mazen Kharbutli, Yan Solihin, and Milos Prvulovic,
HeapMon: a Low Overhead, Automatic, and Programmable
Memory Bug Detector,
Proceedings of the First IBM PAC2 Conference,
October 2003. (PDF)
M. Garzaran, M. Prvulovic, V. Vinals, J. Llaberia, L. Rauchwerger, J. Torrellas,
Using Software Logging to Support Multi-Version Buffering in Thread-Level
Speculation,
Proceedings of the 2003 International Conference on Parallel Architectures and
Compilation Techniques (PACT), September 2003.
M. Prvulovic,
Architectural Support for Reliable Parallel Computing,
University of Illinois at Urbana-Champaign,
Department of Computer Science Technical Report #UIUCDCS-R-2003-2365,
July 2003.
M. Garzaran, M. Prvulovic, J. Llaberia, V. Vinals,
L. Rauchwerger, J. Torrellas,
Tradeoffs in Buffering Multi-Version Memory State for Speculative
Thread-Level Parallelization in Multiprocessors,
Proceedings of the Ninth International Symposium on High
Performance Computer Architecture (HPCA), February 2003.
(PDF)
M. Garzaran, M. Prvulovic, J. Llaberia, V. Vinals,
L. Rauchwerger, J. Torrellas,
Software Logging under Speculative Parallelization,
Second Workshop on Memory Performance Issues in conjunction
with ISCA-29, June 2001.
Extended version appears in
"High Performance Memory Systems",
edited by H. Hadimiouglu, D. Kaeli, J. Kuskin, A. Nanda,
and J. Torrellas, Springer-Verlag, 2003.
J. Martínez, J. Renau, M. C. Huang, M. Prvulovic, J. Torrellas,
Cherry: Checkpointed Early Resurce Recycling in Out-of-order
Microprocessors,
Proceedings of the 35th Annual IEEE/ACM International Symposium on
Microarchitecture (MICRO), November 2002.
(PDF)
F. Dang, M.J. Garzaran, M. Prvulovic, Y. Zhang,
A. Jula, H. Yu, N. Amato, L. Rauchwerger, J. Torrellas,
SmartApps: An Application Centric Approach to High
Performance Computing: Compiler-Assisted Software and
Hardware Support for Reduction Operations,
Proceedings of the 2002 IEEE International Parallel and
Distributed Processing Symposium (IPDPS),
pages 172--181, April 2002.
M. Garzaran, M. Prvulovic, A. Jula, H. Yu,
Y. Zhang, L. Rauchwerger, J. Torrellas,
Architectural Support for Parallel Reductions in
Scalable Shared-Memory Multiprocessors,
Proceedings of the 2001 International Conference on
Parallel Architectures and Compilation Techniques
(PACT), September 2001.
(PDF)
S. Roy, R. Kumar, M. Prvulovic,
Memory System Performance with Compressed Memory,
Proceedings of the International Parallel and Distributed
Processing Symposium (IPDPS), April 2001.
M. Prvulovic, D. Marinov, Z. Dimitrijevic, V. Milutinovic,
Split Temporal/Spatial Cache: A Survey and Reevaluation
of Performance,
in Newsletter of Technical Committee on Computer Architecture,
IEEE Computer Society, July 1999.
M. Prvulovic, D. Marinov, Z. Dimitrijevic, V. Milutinovic,
The Split Spatial/Non-Spatial Cache: A Performance and
Complexity Evaluation,
in Newsletter of Technical Committee on Computer Architecture,
IEEE Computer Society, July 1999.
M. Prvulovic, D. Marinov, V. Milutinovic,
Performance Evaluation of Split Temporal/Spatial Caches:
Paving the Way to New Solutions,
Proceedings of the Workshop on Performance Analysis and its
Impact to Design (PAID) in conjunction with ISCA-25,
June 1998.
(PDF)
J. Protic, M. Prvulovic, D. Ristanovic,
The Effects of User Behavior and Internet Provider Policy
on the Accessibility of SezamPro Online System,
23rd EUROMICRO Conference '97 New Frontiers of Information
Technology - Short Contributions, September 1997.
(PDF)