ACADIA

Center for Advances in DIstributed and pervAsive systems

Skip to content
  • Home
  • People
  • Security
    • Firewall Policies
    • Static Analysis
    • Web Security
    • Cryptographic Devices
  • Performance
    • Performance Engineering
    • Distributed Systems
    • Software Benchmarking
  • ICT & Society
    • Inclusive ICT Innovation
    • e-Government
  • Projects
    • Research projects
    • Technology Transfer
  • Join us
  • Contacts
ACADIA

Research projects

  • EQUAL-IST
  • Families-Share
  • The European research network on types for programming and verification (EUTYPES)
  • LOFD
  • TESLA
  • SOFT
  • IPODS
  • CINA
  • SHS
  • Formal Specification for Secured Software System
Ca'Foscari university logo

News | Events

  • 04/02/2020 – Talk by Vasileios Drakopoulos
  • 27/11/2019 – Talk by Carey Lee Williamson
  • 18/11/2019 – Talk by Benjamin Krumnow
  • 18/11/2019 – Talk by Hugo Jonker
  • 28/10/2019 – Talk by Silvia Crafa
  • 22/10/2019 – Talk by Lucía Schmidt
  • 19/09/2019 – Talk by Shantanu Das
  • 19/09/2019 – Talk by Euripdes Markou

Themes

  • Abstract interpretation
  • Access Control
  • Applied Security
  • Artificial Neural Network
  • Bioinformatics
  • Casanova
  • Cloud Computing
  • Cognitive Networks
  • Communication Networks
  • Data Science
  • Digital Social Innovation
  • Distributed algorithms
  • Energy Management
  • formal methods
  • information flow control
  • IoT
  • Markov processes
  • Mean Field models
  • Model checking
  • performance engineering
  • Performance Evaluation
  • Process Algebras
  • Programming languages
  • Quality of service
  • Queueing Systems
  • Robotics
  • Security
  • Security and Privacy
  • Security and Semantics
  • Sensor Networks
  • Simulation
  • Smart cities
  • Social Network Analysis
  • Software Engineering
  • Static Analysis
  • Statistics
  • Stochastic Models
  • Stochastic Petri Nets
  • Stochastic Systems
  • System Verification
  • Tools for security
  • Underwater Sensor Networks
  • web authentication
  • web security
  • Wireless Networks

Reserve the Acadia Laboratory

The reservation of the Acadia Laboratory is possible via Google Calendar by using your institutional account. Click here to make your reservation!
Proudly powered by WordPress

We are using cookies to give you the best experience on our website.

You can find out more about which cookies we are using or switch them off in settings.

ACADIA
Privacy Overview

This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.

Strictly Necessary Cookies

Strictly Necessary Cookie should be enabled at all times so that we can save your preferences for cookie settings.

Strictly Necessary cookies are:

moove_gdpr_popup: permanent cookie with 1 year duration used to store your preferences about cookies ;)

If you disable this cookie, we will not be able to save your preferences. This means that every time you visit this website you will need to enable or disable cookies again.

Non-necessary cookies

This website uses Google Analytics to collect anonymous information such as the number of visitors to the site, and the most popular pages.
Keeping this cookie enabled helps us to improve our website.

Google Analytics cookies are:

_ga: permanent cookie with 2 years duration

_gat_gtag_UA_115586259_1: permanent cookie with 1 minute duration

_gid: permanent cooke with 1 day duration

Please enable Strictly Necessary Cookies first so that we can save your preferences!