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.

Omar Basem

dblp:342/9876 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2023
0000-0001-6953-3890ORCID · reported

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

Security and privacy · 1 · 1 first-author · 1 since 2021

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.

Network and information security
1 paper
Cryptographic protocols and secure computation · 81% Web and mobile security · 9% Privacy and data protection · 9%

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

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation › secure messaging
end-to-end encryption
0.712023
Stick: An End-to-End Encryption Protocol Tailored for Social Network Platforms · IEEE Trans. Dependable Secur. Comput. 2023
Cryptographic protocols and secure computation
secure messaging
0.712023
Stick: An End-to-End Encryption Protocol Tailored for Social Network Platforms · IEEE Trans. Dependable Secur. Comput. 2023
Cryptographic protocols and secure computation › secure messaging
forward secrecy and post-compromise security
0.212023
Stick: An End-to-End Encryption Protocol Tailored for Social Network Platforms · IEEE Trans. Dependable Secur. Comput. 2023
Cryptographic protocols and secure computation
key exchange
0.212023
Stick: An End-to-End Encryption Protocol Tailored for Social Network Platforms · IEEE Trans. Dependable Secur. Comput. 2023
Web and mobile security
online social network security
0.212023
Stick: An End-to-End Encryption Protocol Tailored for Social Network Platforms · IEEE Trans. Dependable Secur. Comput. 2023
Privacy and data protection
social network privacy
0.212023
Stick: An End-to-End Encryption Protocol Tailored for Social Network Platforms · IEEE Trans. Dependable Secur. Comput. 2023

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

symbolic model · 0.7formal verification · 0.7
YearPublicationVenuePosition
2023 Stick: An End-to-End Encryption Protocol Tailored for Social Network Platforms
abstract
End-to-End Encryption (E2EE) has become a de facto standard in messengers, especially after the development of the secure messaging protocol – Signal. However, the adoption of E2EE has been limited to messengers, and has not yet seen a noticeable trace in social network platforms, despite the increase in users’ privacy violations. In this paper, we propose, verify, implement and evaluate a novel E2EE protocol – Stick. Stick is a Signal-based protocol tailored for social network platforms. We believe our protocol is the first to support re-establishable encryption sessions in an asynchronous multi-device setting while preserving forward secrecy and introducing backward secrecy. Stick includes several innovative features, including a new session concept, multiple pairwise sessions and refreshing identity keys. We verified Stick using Verifpal - a formal verification tool in the symbolic model. Our security analysis shows our protocol does achieve a form of post-compromise security in many-to-many communications – the trait most group protocols lack. Most importantly, the Stick protocol can re-establish encryption sessions while ensuring authentication and confidentiality. We implemented our protocol as a stand-alone open-source API. Our evaluation shows the Stick protocol can be used in a real-world social network app with no noticeable compromise on usability or performance.
Omar Basem, Abrar Ullah, Hani Ragab Hassen
IEEE Trans. Dependable Secur. Comput.1