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
4
Vaata veel..
(2/150)
Ekspordi
ekspordi kõik päringu tulemused
(4)
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 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
4
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 4, kuvan
1 - 4
võtmesõna
148
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.
communication system security
37.
comprehensive system of economic security
38.
computer security
39.
cooperative security dilemma
40.
cyber security
41.
cyber security education
42.
cyber security exercises
43.
cyber security monitoring
44.
cyber security strategies
45.
cyber-security
46.
data and information security
47.
data security
48.
development of security cameras
49.
digital security practices
50.
drinking water security
51.
economic security
52.
economic security of enterprise
53.
emotional security
54.
energy security
55.
energy security indicator
56.
Estonian information security standard
57.
graded security
58.
hardware security
59.
hardware security primitive
60.
high level of security
61.
Homeland security
62.
human security
63.
information security
64.
information security and privacy
65.
initial level of security
66.
internal security
67.
international security
68.
investment and innovation security
69.
IPv6 security
70.
IT security
71.
IT security management
72.
job security
73.
long-term security
74.
maritime cyber security
75.
maritime cyber security operations centers
76.
Maritime Security Operations Center (M-SOC)
77.
medium level of security
78.
metadata model for security measures
79.
Middle Eastern security
80.
Mobile security
81.
national cyber security strategy
82.
national security
83.
NATO. Science for Peace and Security Program
84.
network security
85.
network security monitoring
86.
OSCE (Organization for Security and Co-operation in Europe)
87.
passenger’s security
88.
policy-based routing security
89.
political and security cultures
90.
post-quantum security
91.
power system security
92.
quantitative security
93.
regional security
94.
Safety and Security in Sea Transportation
95.
safety and security testing
96.
security
97.
security adaptation
98.
security alert prioritization
99.
security analysis
100.
security and justice (AFSJ)
101.
Security and political science
102.
security and privacy
103.
security and privacy in smart grids
104.
Security Assertion Mining
105.
security closure
106.
Security Coverage
107.
security dataset
108.
security dilemma
109.
Security evaluation
110.
security evaluation instruments
111.
Security limitations
112.
security log analysis
113.
security management
114.
security model
115.
security monitoring
116.
security notion
117.
security objectives
118.
security of data
119.
security of supply
120.
security operation center
121.
security operations center
122.
security patterns
123.
security policy
124.
security problem definition
125.
security proof
126.
security protocols
127.
security requirements
128.
security requirements engineering
129.
security risk assessment
130.
security risk management
131.
security risks
132.
security science and technology
133.
security strategies
134.
security systems for military objects
135.
security testing
136.
security training
137.
security-by-design
138.
social security planning
139.
societal security
140.
software security
141.
software security level
142.
software security subcharacteristics
143.
sufficient level of security
144.
system of economic security
145.
system security
146.
terrorism security
147.
transmission System Security
148.
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