Carlos Moreno

22 papers A* 1A 4B 3C 2Misc 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria.
ICSTW
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
2024 J jnl
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria.
CoRR
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
2024 J jnl
CANOA: CAN Origin Authentication through Power Side-channel Monitoring.
ACM Trans. Cyber Phys. Syst.
Shailja Thakur, Carlos Moreno, Sebastian Fischmeister
2023 J jnl
Monitoring Software Execution Flow Through Power Consumption and Dynamic Time Warping.
IEEE Embed. Syst. Lett.
Boris Vidal, Carlos Moreno, Sebastian Fischmeister, Gonzalo Carvajal
2023 — conf
Side-Channel Based Runtime Intrusion Detection for Network Equipment.
PKDD/ECML Workshops (5)
Arthur Grisel-Davy, Goksen U. Guler, Julian Dickert, Philippe Vibien, Waleed Khan, Jack Morgan, Carlos Moreno, Sebastian Fischmeister
2021 A conf
vProfile: Voltage-Based Anomaly Detection in Controller Area Networks.
DATE
Nathan Liu, Carlos Moreno, Murray Dunne, Sebastian Fischmeister
2020 J jnl
CANOA: CAN Origin Authentication Through Power Side-Channel Monitoring.
CoRR
Shailja Thakur, Carlos Moreno, Sebastian Fischmeister
2019 C conf
Sender Authentication for Automotive In-Vehicle Networks through Dual Analog Measurements to Determine the Location of the Transmitter.
ICISSP
Carlos Moreno, Sebastian Fischmeister
2018 A conf
Non-intrusive program tracing of non-preemptive multitasking systems using power consumption.
DATE
Kamal Lamichhane, Carlos Moreno, Sebastian Fischmeister
2018 J jnl
Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems.
Formal Methods Syst. Des.
Carlos Moreno, Sebastian Fischmeister
2017 J jnl
Accurate Measurement of Small Execution Times - Getting Around Measurement Errors.
IEEE Embed. Syst. Lett.
Carlos Moreno, Sebastian Fischmeister
2017 A* conf
Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers.
DAC
Carlos Moreno, Sebastian Fischmeister
2017 C conf
On the Security of Safety-critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?.
ICISSP
Carlos Moreno, Sebastian Fischmeister
2016 A conf
Efficient program tracing and monitoring through power consumption - with a little help from the compiler.
DATE
Carlos Moreno, Sean Kauffman, Sebastian Fischmeister
2016 B conf
Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace.
RV
Carlos Moreno, Sebastian Fischmeister
2016 B conf
Static Transformation of Power Consumption for Software Attestation.
RTCSA
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
2015 Misc conf
Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks.
EMSOFT
Carlos Moreno, M. Anwar Hasan, Sebastian Fischmeister
2015 A conf
Performance prediction upon toolchain migration in model-based software.
MoDELS
Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki
2013 B conf
Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis.
LCTES
Carlos Moreno, Sebastian Fischmeister, M. Anwar Hasan
2013 — —
Side-Channel Analysis: Countermeasures and Application to Embedded Systems Debugging.
Carlos Moreno
2011 J jnl
SPA-resistant binary exponentiation with optimal execution time.
J. Cryptogr. Eng.
Carlos Moreno, M. Anwar Hasan
2006 — conf
Variable Frame Size for Vector Quantization.
ICASSP (3)
Carlos Moreno, Fabrice Labeau