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/158)
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
156
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.
independent verification and validation
19.
model verification
20.
model-based verification
21.
power verification
22.
program verification
23.
Quantum state verification
24.
reliability verification
25.
safety verification
26.
simple payment verification (SVP)
27.
simulation-based verification
28.
speaker verification
29.
timing verification
30.
validation and verification
31.
verification
32.
verification and validation
33.
verification by model checking
34.
verification methods
35.
ad-hoc sensor networks security
36.
Blockchain security
37.
cache security
38.
cloud security
39.
communication system security
40.
comprehensive system of economic security
41.
computer security
42.
cooperative security dilemma
43.
cyber security
44.
cyber security education
45.
cyber security exercises
46.
cyber security monitoring
47.
cyber security monitoring in maritime
48.
cyber security strategies
49.
cyber-physical system security
50.
cyber-security
51.
data and information security
52.
data security
53.
development of security cameras
54.
digital security practices
55.
drinking water security
56.
economic security
57.
economic security of enterprise
58.
emotional security
59.
energy security
60.
energy security indicator
61.
Estonian information security standard
62.
graded security
63.
hardware security
64.
hardware security primitive
65.
high level of security
66.
Homeland security
67.
human security
68.
information security
69.
information security and privacy
70.
initial level of security
71.
internal security
72.
international security
73.
investment and innovation security
74.
IPv6 security
75.
IT security
76.
IT security management
77.
job security
78.
long-term security
79.
maritime cyber security
80.
maritime cyber security operations centers
81.
Maritime Security Operations Center (M-SOC)
82.
medium level of security
83.
metadata model for security measures
84.
Middle Eastern security
85.
Mobile security
86.
national cyber security strategy
87.
national security
88.
NATO. Science for Peace and Security Program
89.
network security
90.
network security monitoring
91.
OSCE (Organization for Security and Co-operation in Europe)
92.
passenger’s security
93.
policy-based routing security
94.
political and security cultures
95.
post-quantum security
96.
power system security
97.
quantitative security
98.
regional security
99.
Safety and Security in Sea Transportation
100.
safety and security testing
101.
security
102.
security adaptation
103.
security alert prioritization
104.
security analysis
105.
security and justice (AFSJ)
106.
Security and political science
107.
security and privacy
108.
security and privacy in smart grids
109.
Security Assertion
110.
Security Assertion Mining
111.
security closure
112.
Security Coverage
113.
security dataset
114.
security dilemma
115.
Security evaluation
116.
security evaluation instruments
117.
Security Level Evaluation
118.
Security limitations
119.
security log analysis
120.
security management
121.
security model
122.
security monitoring
123.
security notion
124.
security objectives
125.
security of data
126.
security of supply
127.
security operation center
128.
security operations center
129.
security patterns
130.
security policy
131.
security problem definition
132.
security proof
133.
security protocols
134.
security requirements
135.
security requirements engineering
136.
security research
137.
security risk assessment
138.
security risk management
139.
security risks
140.
security science and technology
141.
security strategies
142.
security systems for military objects
143.
security testing
144.
security training
145.
security-by-design
146.
social security planning
147.
societal security
148.
software security
149.
software security level
150.
software security subcharacteristics
151.
sufficient level of security
152.
system of economic security
153.
system security
154.
terrorism security
155.
transmission System Security
156.
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