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
3
Look more..
(2/148)
Export
export all inquiry results
(3)
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
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
2
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
3
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 3, displaying
1 - 3
keyword
146
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 Security Operations Center (M-SOC)
75.
medium level of security
76.
metadata model for security measures
77.
Middle Eastern security
78.
Mobile security
79.
national cyber security strategy
80.
national security
81.
NATO. Science for Peace and Security Program
82.
network security
83.
network security monitoring
84.
OSCE (Organization for Security and Co-operation in Europe)
85.
passenger’s security
86.
policy-based routing security
87.
political and security cultures
88.
post-quantum security
89.
power system security
90.
quantitative security
91.
regional security
92.
Safety and Security in Sea Transportation
93.
safety and security testing
94.
security
95.
security adaptation
96.
security alert prioritization
97.
security analysis
98.
security and justice (AFSJ)
99.
Security and political science
100.
security and privacy
101.
security and privacy in smart grids
102.
Security Assertion Mining
103.
security closure
104.
Security Coverage
105.
security dataset
106.
security dilemma
107.
Security evaluation
108.
security evaluation instruments
109.
Security limitations
110.
security log analysis
111.
security management
112.
security model
113.
security monitoring
114.
security notion
115.
security objectives
116.
security of data
117.
security of supply
118.
security operation center
119.
security operations center
120.
security patterns
121.
security policy
122.
security problem definition
123.
security proof
124.
security protocols
125.
security requirements
126.
security requirements engineering
127.
security risk assessment
128.
security risk management
129.
security risks
130.
security science and technology
131.
security strategies
132.
security systems for military objects
133.
security testing
134.
security training
135.
security-by-design
136.
social security planning
137.
societal security
138.
software security
139.
software security level
140.
software security subcharacteristics
141.
sufficient level of security
142.
system of economic security
143.
system security
144.
terrorism security
145.
transmission System Security
146.
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