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
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
2
Look more..
(2/144)
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
https://doi.org/10.1109/ISCAS56072.2025.11043977
book article EST
/
book article ENG
Number of records 2, displaying
1 - 2
keyword
142
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.
IPv6 security
57.
IT security
58.
IT security management
59.
job security
60.
LLM-based template detection from security event logs
61.
LLMs for cyber security
62.
long-term security
63.
maritime cyber security
64.
maritime cyber security operations centers
65.
Maritime Security Operations Center (M-SOC)
66.
medium level of security
67.
metadata model for security measures
68.
Middle Eastern security
69.
Mobile security
70.
national cyber security strategy
71.
national security
72.
NATO. Science for Peace and Security Program
73.
network security
74.
network security monitoring
75.
OSCE (Organization for Security and Co-operation in Europe)
76.
passenger’s security
77.
policy-based routing security
78.
political and security cultures
79.
post-quantum security
80.
power system security
81.
quantitative security
82.
regional security
83.
RISC-V Security Verification
84.
safety and security in sea transportation
85.
safety and security testing
86.
security
87.
security adaptation
88.
security alert prioritization
89.
security analysis
90.
security and justice (AFSJ)
91.
Security and political science
92.
security and privacy
93.
security and privacy in smart grids
94.
security closure
95.
Security Coverage
96.
security dataset
97.
security dilemma
98.
Security evaluation
99.
security evaluation instruments
100.
Security event log analysis
101.
Security Level Evaluation
102.
Security limitations
103.
security log analysis
104.
security management
105.
security model
106.
security monitoring
107.
security notion
108.
security objectives
109.
security of data
110.
security of supply
111.
security operation center
112.
security operations center
113.
security patterns
114.
security policy
115.
security problem definition
116.
security proof
117.
security protocols
118.
security requirements
119.
security requirements engineering
120.
security research
121.
security risk assessment
122.
security risk management
123.
security risks
124.
security science and technology
125.
security strategies
126.
security systems
127.
security systems for military objects
128.
security testing
129.
security training
130.
security verification
131.
security-by-design
132.
social security planning
133.
societal security
134.
software security
135.
software security level
136.
software security subcharacteristics
137.
sufficient level of security
138.
system of economic security
139.
system security
140.
terrorism security
141.
transmission System Security
142.
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