Pramod Subramanyan
Orcid: 0000-0003-2288-3396
According to our database1,
Pramod Subramanyan
authored at least 34 papers
between 2010 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
7
1
1
2
3
1
1
1
1
4
2
2
1
2
2
3
2
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2021
Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021
2020
ACM Trans. Design Autom. Electr. Syst., 2020
IEEE Trans. Inf. Forensics Secur., 2020
Proceedings of the 14th USENIX Workshop on Offensive Technologies, 2020
Proceedings of the 28th IFIP/IEEE International Conference on Very Large Scale Integration, 2020
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification.
ACM Trans. Design Autom. Electr. Syst., 2019
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019
Proceedings of the 28th IEEE Asian Test Symposium, 2019
2018
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
PhD thesis, 2017
IACR Cryptol. ePrint Arch., 2017
Malware detection using machine learning based analysis of virtual memory access patterns.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the 53rd Annual Design Automation Conference, 2016
2015
Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
2014
Proceedings of the Software Systems Safety, 2014
IEEE Trans. Emerg. Top. Comput., 2014
Proceedings of the 2014 27th International Conference on VLSI Design, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Formal verification of taint-propagation security properties in a commercial SoC design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
2013
Proceedings of the 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
2011
Proceedings of the IEEE 29th International Conference on Computer Design, 2011
2010
Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010
Energy-efficient fault tolerance in chip multiprocessors using Critical Value Forwarding.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010
Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors.
Proceedings of the Design, Automation and Test in Europe, 2010