Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Spyros T. Halkidis

dblp:91/6847 · DBLP profile ↗
← Back
9ranked-venue papers
3as first author
1since 2021 · last 2024
0000-0001-9983-1012ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 4 · 3 first-authorArtificial intelligence and machine learning · 3Computer networks · 1 · 1 since 2021Software engineering, systems software and programming languages · 1Graphics, computer vision, multimedia, augmented reality and games · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Software maintenance and evolution · 54% Requirements engineering and software design · 36% Software testing · 11%
Network and information security
1 paper
Systems and software security · 100%
Theoretical computer science
1 paper
Graph algorithms and graph theory · 100%

Topics — the 5 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security › secure software development
architectural risk analysis
0.112008
Architectural Risk Analysis of Software Systems Based on Security Patterns · IEEE Trans. Dependable Secur. Comput. 2008
Requirements engineering and software design
software architecture
0.112008
Architectural Risk Analysis of Software Systems Based on Security Patterns · IEEE Trans. Dependable Secur. Comput. 2008
Software maintenance and evolution › reverse engineering
design pattern detection
0.112006
Design Pattern Detection Using Similarity Scoring · IEEE Trans. Software Eng. 2006
Software maintenance and evolution
software reengineering
0.112006
Design Pattern Detection Using Similarity Scoring · IEEE Trans. Software Eng. 2006
Graph algorithms and graph theory › graph theory
graph similarity
0.112006
Design Pattern Detection Using Similarity Scoring · IEEE Trans. Software Eng. 2006

Methods — techniques the papers use, named apart from their topics

fuzzy set theory · 0.2fuzzy fault trees · 0.2class diagram analysis · 0.2inheritance hierarchy analysis · 0.1graph vertex similarity scoring · 0.1
YearPublicationVenuePosition
2024 Enhanced Outsourced and Secure Inference for Tall Sparse Decision Trees
abstract
A decision tree is an easy-to-understand tool that has been widely used for classification tasks. On the one hand, due to privacy concerns, there has been an urgent need to create privacy-preserving classifiers that conceal the user’s input from the classifier. On the other hand, with the rise of cloud computing, data owners are keen to reduce risk by outsourcing their model, but want security guarantees that third parties cannot steal their decision tree model. To address these issues, Joye and Salehi introduced a theoretical protocol that efficiently evaluates decision trees while maintaining privacy by leveraging their comparison protocol that is resistant to timing attacks. However, their approach was not only inefficient but also prone to side-channel attacks. Therefore, in this paper, we propose a new decision tree inference protocol in which the model is shared and evaluated among multiple entities. We partition our decision tree model by each level to be stored in a new entity we refer to as a "level-site." Utilizing this approach, we were able to gain improved average run time for classifier evaluation for a non-complete tree, while also having strong mitigations against side-channel attacks.
Andrew Quijano, Spyros T. Halkidis, Kevin Gallagher 0001, Kemal Akkaya, Nikolaos Samaras
IPCCC2
2012 A novel technique for image steganography based on a high payload method and edge detection
Anastasia Ioannidou, Spyros T. Halkidis, George Stephanides
Expert Syst. Appl.2
2008 Architectural Risk Analysis of Software Systems Based on Security Patterns
abstract
The importance of software security has been profound, since most attacks to software systems are based on vulnerabilities caused by poorly designed and developed software. Furthermore, the enforcement of security in software systems at the design phase can reduce the high cost and effort associated with the introduction of security during implementation. For this purpose, security patterns that offer security at the architectural level have been proposed in analogy to the well-known design patterns. The main goal of this paper is to perform risk analysis of software systems based on the security patterns that they contain. The first step is to determine to what extent specific security patterns shield from known attacks. This information is fed to a mathematical model based on the fuzzy-set theory and fuzzy fault trees in order to compute the risk for each category of attacks. The whole process has been automated using a methodology that extracts the risk of a software system by reading the class diagram of the system under study.
Spyros T. Halkidis, Nikolaos Tsantalis, Alexander Chatzigeorgiou, George Stephanides
IEEE Trans. Dependable Secur. Comput.1
2007 A Provably Secure One-Pass Two-Party Key Establishment Protocol
Kostas Kryptos Chalkias, Spyros T. Halkidis, Dimitrios Hristu-Varsakelis, George Stephanides, Anastasios Alexiadis
Inscrypt2
2006 A qualitative analysis of software security patterns
Spyros T. Halkidis, Alexander Chatzigeorgiou, George Stephanides
Comput. Secur.1
2006 Design Pattern Detection Using Similarity Scoring
abstract
The identification of design patterns as part of the reengineering process can convey important information to the designer. However, existing pattern detection methodologies generally have problems in dealing with one or more of the following issues: identification of modified pattern versions, search space explosion for large systems and extensibility to novel patterns. In this paper, a design pattern detection methodology is proposed that is based on similarity scoring between graph vertices. Due to the nature of the underlying graph algorithm, this approach has the ability to also recognize patterns that are modified from their standard representation. Moreover, the approach exploits the fact that patterns reside in one or more inheritance hierarchies, reducing the size of the graphs to which the algorithm is applied. Finally, the algorithm does not rely on any pattern-specific heuristic, facilitating the extension to novel design structures. Evaluation on three open-source projects demonstrated the accuracy and the efficiency of the proposed method
Nikolaos Tsantalis, Alexander Chatzigeorgiou, George Stephanides, Spyros T. Halkidis
IEEE Trans. Software Eng.4
2004 A Qualitative Evaluation of Security Patterns
Spyros T. Halkidis, Alexander Chatzigeorgiou, George Stephanides
ICICS1
2000 Matching disparate views of planar surfaces using projective invariants
Manolis I. A. Lourakis, Spyros T. Halkidis, Stelios C. Orphanoudakis
Image Vis. Comput.2
1998 Matching Disparate Views of Planar Surfaces Using Projective Invariants
abstract
Feature matching is a prerequisite to a wide variety of vision tasks. This paper presents a method that addresses the problem of matching disparate views of coplanar points and lines in a unified manner. The proposed method employs a randomized search strategy combined with the two-line two-point projective invariant to derive small sets of possibly matching points and lines. These candidate matches are then verified by recovering the associated plane homography, which is further used to predict more matches. The resulting scheme is capable of successfully matching features extracted from views that differ considerably, even in the presence of large numbers of outlying features. Experimental results from the application of the method to indoor and aerial images indicate its effectiveness and robustness. 1 Introduction A fundamental problem in computer vision, that appears in different forms in tasks such as discrete motion estimation, feature-based stereo, object recognition, image r...
Manolis I. A. Lourakis, Spyros T. Halkidis, Stelios C. Orphanoudakis
BMVC2