Welcome

Computer Security Group
Computer Science Department
School of Engineering

carousel image

Research + Innovation

  • Certified Security
  • Cyber Intelligence
carousel image

Courses

  • Computer Engineer
  • MSc and PhD programs
  • Computer Security Specialization
carousel image

Projects

See our research and innovation projects

Courses

We have course offerings for pre-graduate and posgraduate.

Events

Workshops, Conference and Academic gatherings where the group takes part

Our Team

  • Gustavo Betarte is a Professor in the Department of Computer Science of the School of Engineering at Universidad de la República (FING-UDELAR), …

    Gustavo Betarte
    Gustavo Betarte

    Full Professor, InCo

  • Carlos Luna is a Professor in the Department of Computer Science of the School of Engineering at Universidad de la República (FING-UDELAR), …

    Carlos Luna
    Carlos Luna

    Adjoint Professor, InCo

  • Juan Diego is a Lecturer in the Department of Computer Science of the School of Engineering at Universidad de la República (FING-UDELAR), Montevideo, …

    Juan Diego Campo
    Juan Diego Campo

    Teaching assistant, InCo

  • Dr Martín Barrère is a Research Associate at the Department of Computing at Imperial College. He joined the Distributed Software Engineering (DSE) …

    Marin Barrère
    Marin Barrère

    Research Associate at the Department of Computing at Imperial College London, UK

  • Felipe Zipitria is a Lecturer in the Department of Computer Science of the School of Engineering at Universidad de la República (FING-UDELAR), …

    Felipe Zipitría
    Felipe Zipitría

    Associate Professor, InCo

  • Marcelo is a Computer System Engineer graduated at the School of Engineering at Universidad de la República (FING-UDELAR), Montevideo, Uruguay. He is …

    Marcelo Rodríguez
    Marcelo Rodríguez

    Teaching assistant, InCo

  • Rodrigo is a Computer System Engineer graduated at the School of Engineering at Universidad de la República (FING-UDELAR), Montevideo, Uruguay. He is …

    Rodrigo Martínez
    Rodrigo Martínez

    Teaching assistant, InCo

  • Eduardo Cota is an Electrical Engineer graduated at the School of Engineering at the Universidad de la República (FING – UDELAR), Uruguay. He is an …

    placeholder
    Eduardo Cota

    Associate Professor, IIE

  • Alejandro Blanco is graduated as a Computer Engineer at the Engineering School, University of the Republic of Uruguay (FING-UDELAR). He is a Lecturer …

    Alejandro Blanco
    Alejandro Blanco

    Profesor Grado 3 del InCo

  • Is a Computer Engineer graduated at the School of Engineering at Universidad de la República (FING-UDELAR), Montevideo, Uruguay. He is a member of …

    Horacio Pérez
    Horacio Pérez

    Teaching assistant

From our blog

These are our more recent events and projects

placeholder image

Read more

On Locality Sensitive Hashing for Sampling Extent Generators

on September 15, 2017

Seminario InCo Víctor Codocedo (INRIA Chile, Chile) We introduce a method for sampling formal concepts using locality sensitive hashing (LSH). LSH is a technique used for finding approximate nearest neighbours given a set of hashing functions.Through our approach, we are able to predict the probability of an extent in the concept lattice given set of objects and their similarity index, a generalization of the Jaccard similarity between sets.Our approach allows defining a lattice-based amplification construction to design arbitrarily discriminative sampling settings.

Continue reading

placeholder image

Read more

Lecciones de un proyecto de Ciencia de Datos con datos reales: Mecánica Predictiva

on September 13, 2017

Seminario ICT4V Víctor Codocedo (INRIA Chile, Chile) Inria Chile trabaja actualmente con Tracktec, una empresa dedicada al monitoreo telemétrico de variables mecánicas en buses y camiones en distintas aplicaciones del transporte. Inicialmente pensado como un proyecto para predicción de fallas en buses, la ejecución del mismo ha mostrado la complejidad del problema y la insuficiencia de los datos, incluso cuando su volumen excede los 1000 millones de lecturas para cuatro meses de registro.

Continue reading

placeholder image

Read more

Certified autonomic mechanisms for mobile security

on May 7, 2017

This project targets the design of (certified) mechanisms able to proactively understand the behaviour of platforms that deploy technologies for mobile devices in order to detect/prevent vulnerable states of those platforms. To that end we aim at integrating the use of formal security models and certified proofs of properties that may be used to enforce or violate security policies with methods and techniques capable of collecting and analyzing information residing in mobile devices as well as the events that provoke creation, modification and (potentially unsecure) flow of that information.

Continue reading

placeholder image

Read more

VirtualCert

on April 4, 2017

Abstract In this project we focus on the security of computer virtualization platforms. In particular, the main objective is to develop a formal idealized model of one such platform, establish non-interference security properties that should be guaranteed by the modeled control access mechanisms and to construct mathematical proofs, verified with the help of the Coq proof assistant, that those properties are verified by the model. The project has been partially funded by a grant Fondo Clemente Estable 2009 of the Uruguayan National research agency ANII and currently by a CSIC grant for R&D Projects - edition 2012.

Continue reading

Related sites