Concepedia

Sabina Rossi

SR

27

Publications

622

Citations

17

H-Index

1987

Active since

Affiliations

Ca' Foscari University of Venice(Current)

University of Udine

Centrum Wiskunde & Informatica

Laboratoire d'Informatique de l'École Polytechnique

University of Padua

Sabina Rossi is an author at Ca' Foscari University of Venice specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsData SecurityProgram AnalysisInformation SecurityCryptographyData PrivacySoftware Analysis

Publications per year

1987–2024

27

Publications

27

Information Flow Security in Dynamic Contexts

Riccardo Focardi, Sabina Rossi · 1987 · 45 citations

Information flow security in dynamic contexts

Riccardo Focardi, Sabina Rossi · Journal of Computer Security · 2006 · 44 citations

Engineering, Information Security, Verification +17

Modelling downgrading in information flow security

Annalisa Bossi, Carla Piazza, Sabina Rossi · IEEE Computer Security Foundations Symposium · 2004 · 39 citations

Engineering, Information Security, Vertical Refinements +20

On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness

Ivan Malakhov, Andrea Marin, Sabina Rossi et al. · IEEE Access · 2021 · 37 citations · Full text

Blockchain Consensus Protocol, Engineering, Information Security +16

Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic

Armir Bujari, Andrea Marin, Claudio E. Palazzi et al. · Computer Networks · 2016 · 30 citations

Simultaneous Tcp, Internet Traffic Analysis, Engineering +7

Rows per page

1–5 of 27