( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Power Contracts: Provably Complete Power Leakage Models for Processors.

, , , , , и . CCS, стр. 381-395. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Roderick Castillo

Roderick Parkes

Liselotte Bloem

Gustav Bloem

Roderick Dedekind

 

Другие публикации лиц с тем же именем

Robustness in the Presence of Liveness., , , , и . CAV, том 6174 из Lecture Notes in Computer Science, стр. 410-424. Springer, (2010)Placement of Runtime Checks to Counteract Fault Injections., , и . RV, том 12399 из Lecture Notes in Computer Science, стр. 241-258. Springer, (2020)Symbolic Implementation of Alternating Automata., , , , и . CIAA, том 4094 из Lecture Notes in Computer Science, стр. 208-218. Springer, (2006)Specification-centered robustness., , , , и . SIES, стр. 176-185. IEEE, (2011)Model-Based Testing IoT Communication via Active Automata Learning., , и . ICST, стр. 276-287. IEEE Computer Society, (2017)Attribute Repair for Threat Prevention., , , , , и . SAFECOMP, том 14181 из Lecture Notes in Computer Science, стр. 135-148. Springer, (2023)Synthesis of Minimum-Cost Shields for Multi-agent Systems., , , , и . ACC, стр. 1048-1055. IEEE, (2019)Learning Mealy Machines with One Timer., , и . LATA, том 12638 из Lecture Notes in Computer Science, стр. 157-170. Springer, (2021)Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs., , , , и . USENIX Security Symposium, стр. 1469-1468. USENIX Association, (2021)Adaptive Testing for Specification Coverage in CPS Models., , , , и . ADHS, том 54 из IFAC-PapersOnLine, стр. 229-234. Elsevier, (2021)