Presentation

I am Postdoctoral Researcher in the Cairn/Taran research group at Irisa (Rennes, France) since 2019. I work on the field of Computer Aided Design, Compilation and Micro-architecture.

I've done my PhD in the Université de Rennes 1, under the supervision of Steven Derrien and Erven Rohou. I studied at the ENS Rennes from 2011 to 2015 and obtained there a master degree (delivered by Universite de Rennes 1) in computer sciences.

Publications

Derrien S., Marty T., Rokicki S., Yuki T. (2020). Toward Speculative Loop Pipelining for High-Level Synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11) Réf. HAL: hal-02949516

Bellec N., Rokicki S., Puaut I. (2020). Attack detection through monitoring of timing deviations in embedded real-time systems, ECRTS 2020 - 32nd Euromicro Conference on Real-Time Systems, 7-10 juillet 2020, Modena (Italie). 1-22. DOI: https://doi.org/10.4230/LIPIcs.ECRTS.2020.8. Réf. HAL: hal-02559549

Rokicki S. (2020). GhostBusters: Mitigating Spectre Attacks on a DBT-Based Processor, DATE 2020 - 23rd IEEE/ACM Design, Automation and Test in Europe, 9-13 mars 2020, Grenoble (France). DATE 2020 - 23rd IEEE/ACM Design, Automation and Test in Europe, 1-6. Réf. HAL: hal-02396631

Rokicki S., Pala D., Paturel J., Sentieys O. (2019). What You Simulate Is What You Synthesize: Designing a Processor Core from C++ Specifications, ICCAD 2019 - 38th IEEE/ACM International Conference on Computer-Aided Design, 4-7 novembre 2019, Westminster, CO (États-Unis). ICCAD 2019 - 38th IEEE/ACM International Conference on Computer-Aided Design, 1-8. Réf. HAL: hal-02303453

Rokicki S., Rohou E., Derrien S. (2018). Hybrid-DBT: Hardware/Software Dynamic Binary Translation Targeting VLIW. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, :1-14. DOI: https://doi.org/10.1109/TCAD.2018.2864288. Réf. HAL: hal-01856163

Rokicki S., Rohou E., Derrien S. (2019). Aggressive Memory Speculation in HW/SW Co-Designed Machines, DATE 2019 - 22nd IEEE/ACM Design, Automation and Test in Europe, 25-29 mars 2019, Florence (Italie). 332-335. DOI: https://doi.org/10.23919/DATE.2019.8715010. Réf. HAL: hal-01941876

Rokicki S., Rohou E., Derrien S. (2018). Supporting Runtime Reconfigurable VLIWs Cores Through Dynamic Binary Translation, DATE 2018 - IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition, 19-23 mars 2018, Dresden (Allemagne). 1009-1014. URL: https://www.date-conference.com. DOI: https://doi.org/10.23919/DATE.2018.8342160. Réf. HAL: hal-01653110

Rokicki S., Rohou E., Derrien S. (2017). Hardware-Accelerated Dynamic Binary Translation, IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition (DATE), 27-31 mars 2017, Lausanne (Suisse). IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition (DATE). URL: https://www.date-conference.com/. Réf. HAL: hal-01423639

Fyrbiak M., Rokicki S., Bissantz N., Tessier R., Paar C. (2017). Hybrid Obfuscation to Protect against Disclosure Attacks on Embedded Microprocessors. IEEE Transactions on Computers. Réf. HAL: hal-01426565