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 Assertion (keyword)
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
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
2
Look more..
(2/145)
Export
export all inquiry results
(2)
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 EST
/
book article ENG
SynAssert: automated synthesis of CSCA leakage patterns into cost-effective security assertions
Azarpeyvand, Ali Azarpeyvand
;
Eslami, Mohammad
;
Jervan, Gert
;
Raik, Jaan
;
Ghasempouri, Tara
Proceedings of 2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
2025
/
6 p. : ill
https://doi.org/10.1109/ISVLSI65124.2025.11130310
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
2
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. : ill
https://doi.org/10.1109/ISCAS56072.2025.11043977
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 2, displaying
1 - 2
keyword
143
1.
Security Assertion
2.
Security Assertion Mining
3.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
4.
assertion
5.
assertion candidate
6.
assertion checkers
7.
Assertion Minimization
8.
Assertion Mining
9.
assertion qualification
10.
assertion sign
11.
assertion-based verification
12.
automatic assertion mining
13.
Husserl on inclusion and assertion
14.
Peirce on inclusion and assertion
15.
sheet of assertion
16.
ad-hoc sensor networks security
17.
Automatic Security Verification
18.
Blockchain security
19.
cache security
20.
cloud security
21.
communication system security
22.
comprehensive system of economic security
23.
computer security
24.
cooperative security dilemma
25.
cyber security
26.
cyber security education
27.
cyber security exercises
28.
cyber security monitoring
29.
cyber security monitoring in maritime
30.
cyber security strategies
31.
cyber-physical system security
32.
cyber-security
33.
data and information security
34.
data security
35.
development of security cameras
36.
digital security practices
37.
drinking water security
38.
economic security
39.
economic security of enterprise
40.
emotional security
41.
energy security
42.
energy security indicator
43.
Estonian information security standard
44.
graded security
45.
hardware security
46.
hardware security primitive
47.
high level of security
48.
Homeland security
49.
human security
50.
information security
51.
information security and privacy
52.
initial level of security
53.
internal security
54.
international security
55.
investment and innovation security
56.
IoT security
57.
IPv6 security
58.
IT security
59.
IT security management
60.
job security
61.
LLM-based template detection from security event logs
62.
LLMs for cyber security
63.
long-term security
64.
maritime cyber security
65.
maritime cyber security operations centers
66.
Maritime Security Operations Center (M-SOC)
67.
medium level of security
68.
metadata model for security measures
69.
Middle Eastern security
70.
Mobile security
71.
national cyber security strategy
72.
national security
73.
NATO. Science for Peace and Security Program
74.
network security
75.
network security monitoring
76.
OSCE (Organization for Security and Co-operation in Europe)
77.
passenger’s security
78.
policy-based routing security
79.
political and security cultures
80.
post-quantum security
81.
power system security
82.
quantitative security
83.
regional security
84.
RISC-V Security Verification
85.
safety and security in sea transportation
86.
safety and security testing
87.
security
88.
security adaptation
89.
security alert prioritization
90.
security analysis
91.
security and justice (AFSJ)
92.
Security and political science
93.
security and privacy
94.
security and privacy in smart grids
95.
security closure
96.
Security Coverage
97.
security dataset
98.
security dilemma
99.
Security evaluation
100.
security evaluation instruments
101.
Security event log analysis
102.
Security Level Evaluation
103.
Security limitations
104.
security log analysis
105.
security management
106.
security model
107.
security monitoring
108.
security notion
109.
security objectives
110.
security of data
111.
security of supply
112.
security operation center
113.
security operations center
114.
security patterns
115.
security policy
116.
security problem definition
117.
security proof
118.
security protocols
119.
security requirements
120.
security requirements engineering
121.
security research
122.
security risk assessment
123.
security risk management
124.
security risks
125.
security science and technology
126.
security strategies
127.
security systems
128.
security systems for military objects
129.
security testing
130.
security training
131.
security verification
132.
security-by-design
133.
social security planning
134.
societal security
135.
software security
136.
software security level
137.
software security subcharacteristics
138.
sufficient level of security
139.
system of economic security
140.
system security
141.
terrorism security
142.
transmission System Security
143.
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