Formal verification of pipelined cryptographic circuits - Bitat, Abir (Informatica (Ljubljana), 2021)
Keywords: algoritmi; digitalna vezja; kriptografija; pravilnost delovanja; računalniška varnost; računalništvo; strojno-opisni jezik