Zobrazeno 1 - 10
of 506
pro vyhledávání: '"Symbolic simulation"'
Autor:
Došlo Glorija Z., Rajković Kristina D.
Publikováno v:
Tehnika, Vol 79, Iss 1, Pp 75-85 (2024)
This paper presents novel free open-source software JuliaCAP for symbolic analysis of linear time-invariant electric circuits in the complex domain of the Unilateral Laplace Transform or Phasor Transform. Modified Nodal Analysis (MNA) has been chosen
Externí odkaz:
https://doaj.org/article/d1959ffaee5048f4aaf83c5a830f847c
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2022, Iss 4 (2022)
Physical attacks, including passive Side-Channel Analysis and active Fault Injection Analysis, are considered among the most powerful threats against physical cryptographic implementations. These attacks are well known and research provides many spec
Externí odkaz:
https://doaj.org/article/a3b3a05f95a04ae8bf6ba13c3bf4ab79
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2021, Iss 4 (2021)
Fault Injection Analysis is seen as a powerful attack against implementations of cryptographic algorithms. Over the last two decades, researchers proposed a plethora of countermeasures to secure such implementations. However, the design process and i
Externí odkaz:
https://doaj.org/article/2bba77992a1a41c699a31b8e544550e1
Autor:
Francesco Grasso, Stefano Manetti, Alberto Reatti, Maria Cristina Piccirilli, Antonio Luchetta
Publikováno v:
Advances in Science, Technology and Engineering Systems Journal. 6:275-282
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb5382a64bbaeeb598e0811c5939eb9e
https://doi.org/10.25046/aj060132
https://doi.org/10.25046/aj060132
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-30
ProbNV is a new framework for probabilistic network control plane verification that strikes a balance between generality and scalability. ProbNV is general enough to encode a wide range of features from the most common protocols (eBGP and OSPF) and y
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19b661046eaee055f4d336ddfbadeb54
https://doi.org/10.1145/3473595
https://doi.org/10.1145/3473595
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 38:1359-1372
Formal verification of high-level SystemC designs is an important and challenging problem. One has to deal with the full complexity of C++ to extract a suitable formal model (front-end problem) and then, with large cyclic state spaces defined by symb
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::963b22c20143cddc894f4ba9dc589c2d
https://doi.org/10.1109/tcad.2018.2846638
https://doi.org/10.1109/tcad.2018.2846638