Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
security verification (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
5
Look more..
(2/156)
Export
export all inquiry results
(5)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
ClearCache : Configurable, Lightweight, and Accurate Cache Side-Channel Attack Detection
Azarpeyvand, Ali
;
Jervan, Gert
;
Ghasempouri, Tara
The Journal of Supercomputing
2025
/
28 p
journal article EST
/
journal article ENG
2
book article
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
book article
Related publications
1
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
3
book article EST
/
book article 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
book article EST
/
book article ENG
4
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
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
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Number of records 5, displaying
1 - 5
keyword
154
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 monitoring in maritime
46.
cyber security strategies
47.
cyber-physical system security
48.
cyber-security
49.
data and information security
50.
data security
51.
development of security cameras
52.
digital security practices
53.
drinking water security
54.
economic security
55.
economic security of enterprise
56.
emotional security
57.
energy security
58.
energy security indicator
59.
Estonian information security standard
60.
graded security
61.
hardware security
62.
hardware security primitive
63.
high level of security
64.
Homeland security
65.
human security
66.
information security
67.
information security and privacy
68.
initial level of security
69.
internal security
70.
international security
71.
investment and innovation security
72.
IPv6 security
73.
IT security
74.
IT security management
75.
job security
76.
long-term security
77.
maritime cyber security
78.
maritime cyber security operations centers
79.
Maritime Security Operations Center (M-SOC)
80.
medium level of security
81.
metadata model for security measures
82.
Middle Eastern security
83.
Mobile security
84.
national cyber security strategy
85.
national security
86.
NATO. Science for Peace and Security Program
87.
network security
88.
network security monitoring
89.
OSCE (Organization for Security and Co-operation in Europe)
90.
passenger’s security
91.
policy-based routing security
92.
political and security cultures
93.
post-quantum security
94.
power system security
95.
quantitative security
96.
regional security
97.
Safety and Security in Sea Transportation
98.
safety and security testing
99.
security
100.
security adaptation
101.
security alert prioritization
102.
security analysis
103.
security and justice (AFSJ)
104.
Security and political science
105.
security and privacy
106.
security and privacy in smart grids
107.
Security Assertion
108.
Security Assertion Mining
109.
security closure
110.
Security Coverage
111.
security dataset
112.
security dilemma
113.
Security evaluation
114.
security evaluation instruments
115.
Security Level Evaluation
116.
Security limitations
117.
security log analysis
118.
security management
119.
security model
120.
security monitoring
121.
security notion
122.
security objectives
123.
security of data
124.
security of supply
125.
security operation center
126.
security operations center
127.
security patterns
128.
security policy
129.
security problem definition
130.
security proof
131.
security protocols
132.
security requirements
133.
security requirements engineering
134.
security research
135.
security risk assessment
136.
security risk management
137.
security risks
138.
security science and technology
139.
security strategies
140.
security systems for military objects
141.
security testing
142.
security training
143.
security-by-design
144.
social security planning
145.
societal security
146.
software security
147.
software security level
148.
software security subcharacteristics
149.
sufficient level of security
150.
system of economic security
151.
system security
152.
terrorism security
153.
transmission System Security
154.
voting privacy and security
subject term
2
1.
National Computer Security Incident Response Teams (N-CSIRTs)
2.
USS Security Eesti AS
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT