Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
security verification (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
5
Vaata veel..
(2/155)
Ekspordi
ekspordi kõik päringu tulemused
(5)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
ClearCache : Configurable, Lightweight, and Accurate Cache Side-Channel Attack Detection
Azarpeyvand, Ali
;
Jervan, Gert
;
Ghasempouri, Tara
The Journal of Supercomputing
2025
/
28 p
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel kogumikus
Towards multidimensional verification : where functional meets non-functional
Jenihhin, Maksim
;
Lai, Xinhui
;
Ghasempouri, Tara
;
Raik, Jaan
2018 IEEE Nordic Circuits and Systems Conference (NORCAS) : NORCHIP and International Symposium of System-on-Chip (SoC) : 30-31 October 2018, Tallinn, Estonia : proceedings in IEEE Xplore
2018
/
7 p. : ill
https://doi.org/10.1109/NORCHIP.2018.8573495
artikkel kogumikus
Seotud publikatsioonid
1
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
3
artikkel kogumikus EST
/
artikkel kogumikus ENG
Translating Common Security Assertions Across Processor Designs : A RISC-V Case Study
Imtiaz, Sharjeel
;
Reinsalu, Uljana
;
Ghasempouri, Tara
2025 IEEE International Symposium on Circuits and Systems (ISCAS)
2025
/
5 p
https://doi.org/10.1109/ISCAS56072.2025.11043977
artikkel kogumikus EST
/
artikkel kogumikus ENG
4
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Understanding multidimensional verification : where functional meets non-functional
Lai, Xinhui
;
Balakrishnan, Aneesh
;
Lange, Thomas
;
Jenihhin, Maksim
;
Ghasempouri, Tara
;
Raik, Jaan
;
Alexandrescu, Dan
Microprocessors and microsystems
2019
/
art. 102867, 13 p. : ill
https://doi.org/10.1016/j.micpro.2019.102867
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
2
A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
5
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Verifying cache architecture vulnerabilities using a formal security verification flow
Ghasempouri, Tara
;
Raik, Jaan
;
Paul, Kolin
;
Reinbrecht, Cezar
;
Hamdioui, Said
;
Taouil, Mottaqiallah
Microelectronics reliability
2021
/
art. 114085
https://doi.org/10.1016/j.microrel.2021.114085
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 5, kuvan
1 - 5
võtmesõna
153
1.
Automatic Security Verification
2.
RISC-V Security Verification
3.
security verification
4.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
5.
assertion-based verification
6.
Automata, Formal Verification
7.
automatic speaker verification
8.
compliance verification
9.
compositional verification
10.
constraint random verification
11.
deductive verification
12.
extra-functional verification
13.
forecast verification
14.
formal verification
15.
functional verification
16.
grid verification
17.
Hardware Verification
18.
model verification
19.
model-based verification
20.
power verification
21.
program verification
22.
Quantum state verification
23.
reliability verification
24.
simple payment verification (SVP)
25.
simulation-based verification
26.
speaker verification
27.
timing verification
28.
validation and verification
29.
verification
30.
verification and validation
31.
verification by model checking
32.
verification methods
33.
ad-hoc sensor networks security
34.
Blockchain security
35.
cache security
36.
cloud security
37.
communication system security
38.
comprehensive system of economic security
39.
computer security
40.
cooperative security dilemma
41.
cyber security
42.
cyber security education
43.
cyber security exercises
44.
cyber security monitoring
45.
cyber security strategies
46.
cyber-physical system security
47.
cyber-security
48.
data and information security
49.
data security
50.
development of security cameras
51.
digital security practices
52.
drinking water security
53.
economic security
54.
economic security of enterprise
55.
emotional security
56.
energy security
57.
energy security indicator
58.
Estonian information security standard
59.
graded security
60.
hardware security
61.
hardware security primitive
62.
high level of security
63.
Homeland security
64.
human security
65.
information security
66.
information security and privacy
67.
initial level of security
68.
internal security
69.
international security
70.
investment and innovation security
71.
IPv6 security
72.
IT security
73.
IT security management
74.
job security
75.
long-term security
76.
maritime cyber security
77.
maritime cyber security operations centers
78.
Maritime Security Operations Center (M-SOC)
79.
medium level of security
80.
metadata model for security measures
81.
Middle Eastern security
82.
Mobile security
83.
national cyber security strategy
84.
national security
85.
NATO. Science for Peace and Security Program
86.
network security
87.
network security monitoring
88.
OSCE (Organization for Security and Co-operation in Europe)
89.
passenger’s security
90.
policy-based routing security
91.
political and security cultures
92.
post-quantum security
93.
power system security
94.
quantitative security
95.
regional security
96.
Safety and Security in Sea Transportation
97.
safety and security testing
98.
security
99.
security adaptation
100.
security alert prioritization
101.
security analysis
102.
security and justice (AFSJ)
103.
Security and political science
104.
security and privacy
105.
security and privacy in smart grids
106.
Security Assertion
107.
Security Assertion Mining
108.
security closure
109.
Security Coverage
110.
security dataset
111.
security dilemma
112.
Security evaluation
113.
security evaluation instruments
114.
Security Level Evaluation
115.
Security limitations
116.
security log analysis
117.
security management
118.
security model
119.
security monitoring
120.
security notion
121.
security objectives
122.
security of data
123.
security of supply
124.
security operation center
125.
security operations center
126.
security patterns
127.
security policy
128.
security problem definition
129.
security proof
130.
security protocols
131.
security requirements
132.
security requirements engineering
133.
security research
134.
security risk assessment
135.
security risk management
136.
security risks
137.
security science and technology
138.
security strategies
139.
security systems for military objects
140.
security testing
141.
security training
142.
security-by-design
143.
social security planning
144.
societal security
145.
software security
146.
software security level
147.
software security subcharacteristics
148.
sufficient level of security
149.
system of economic security
150.
system security
151.
terrorism security
152.
transmission System Security
153.
voting privacy and security
märksõna
2
1.
National Computer Security Incident Response Teams (N-CSIRTs)
2.
USS Security Eesti AS
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT