( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Formal Treatment of Logic Locking.

, , , , и . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022 (2): 92-114 (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.

Pierluigi Nuzzo

Antonio Nuzzo

Sabata Nuzzo

Pierluigi Casale

Pierluigi Ramadori

 

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

An 820μW 9b 40MS/s Noise-Tolerant Dynamic-SAR ADC in 90nm Digital CMOS., , , , , и . ISSCC, стр. 238-239. IEEE, (2008)A 2-mm2 0.1-5 GHz Software-Defined Radio Receiver in 45-nm Digital CMOS., , , , , , , , , и 1 other автор(ы). IEEE J. Solid State Circuits, 44 (12): 3486-3498 (2009)Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (1): 30-43 (января 2024)Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications., , , и . CoRR, (2022)Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications., , и . CoRR, (2020)A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints., , и . CoRR, (2020)CHASE: Contract-based requirement engineering for cyber-physical system design., , , и . DATE, стр. 839-844. IEEE, (2018)From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts.. ISPD, стр. 117-121. ACM, (2019)Towards a Formal Treatment of Logic Locking., , , , и . IACR Cryptol. ePrint Arch., (2022)Hierarchical Contract-Based Synthesis for Assurance Cases., , , и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 175-192. Springer, (2022)