Carlos Moreno

Orcid: 0000-0002-7828-1215

Affiliations:
  • University of Waterloo, ON, Canada (PhD 2013)


According to our database1, Carlos Moreno authored at least 19 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
CANOA: CAN Origin Authentication through Power Side-channel Monitoring.
ACM Trans. Cyber Phys. Syst., April, 2024

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

2023
Monitoring Software Execution Flow Through Power Consumption and Dynamic Time Warping.
IEEE Embed. Syst. Lett., June, 2023

2021
vProfile: Voltage-Based Anomaly Detection in Controller Area Networks.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2019
Sender Authentication for Automotive In-Vehicle Networks through Dual Analog Measurements to Determine the Location of the Transmitter.
Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

2018
Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems.
Formal Methods Syst. Des., 2018

Non-intrusive program tracing of non-preemptive multitasking systems using power consumption.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
Accurate Measurement of Small Execution Times - Getting Around Measurement Errors.
IEEE Embed. Syst. Lett., 2017

On the Security of Safety-critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Static Transformation of Power Consumption for Software Attestation.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Efficient program tracing and monitoring through power consumption - with a little help from the compiler.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Performance prediction upon toolchain migration in model-based software.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks.
Proceedings of the 2015 International Conference on Embedded Software, 2015

2013
Side-Channel Analysis: Countermeasures and Application to Embedded Systems Debugging.
PhD thesis, 2013

Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

2011
SPA-resistant binary exponentiation with optimal execution time.
J. Cryptogr. Eng., 2011

2006
Variable Frame Size for Vector Quantization.
Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006


  Loading...