Dipartimento di Informatica, Sistemistica e Comunicazione Università degli Studi di Milano – Bicocca Claudio Ferretti - Alberto

Slides:

Advertisements

Similar presentations

DISCo WS - Milan - June 3, Dipartimento di Informatica, Sistemistica e Comunicazione Università degli Studi di Milano – Bicocca Claudio Ferretti.

Advertisements

This material is based upon work supported by Science Foundation Ireland under Grant No. 03/IN3/1361 UNIVERSITY COLLEGE DUBLIN DUBLIN CITY UNIVERSITY The.

“Software Platform Development for Continuous Monitoring Sensor Networks” Sebastià Galmés and Ramon Puigjaner Dept. of Mathematics and Computer Science.

Funding Networks Abdullah Sevincer University of Nevada, Reno Department of Computer Science & Engineering.

Tomorrow’s Software Today ® HCMDSS Panel Presentation: Software and Systems Engineering for Medical Devices W. Rance Cleaveland II, PhD CEO, Reactive Systems.

FIT5037 Advanced Network Security --- Modern Computing and Security --- Lecture 1.

Managing Agent Platforms with the Simple Network Management Protocol Brian Remick Thesis Defense June 26, 2015.

Use of RCP for Instrument Control Tony Lam 2006 Eclipse SLAC.

Whole Platform Tesi di Dottorato di: RICCARDO SOLMI Università degli Studi di Bologna Facoltà di scienze matematiche, fisiche e naturali Corso di Dottorato.

Real-Time and Multimedia Systems Laboratory Carnegie Mellon System Integration Raj Rajkumar Professor, ECE and CS Director, Real-Time and Multimedia Systems.

FACULTY OF COMPUTER SCIENCE OUTPUT DD  annual event from students for students with contact to industry (~800 visitors)  live demonstrations  research.

Cristina Manfredotti D.I.S.Co. Università di Milano - Bicocca An Introduction to the Use of Bayesian Network to Analyze Gene Expression Data Cristina Manfredotti.

Commonwealth Engineering Design (CED) Academy Learning K-12 Science through Engineering Design and Manufacturing.

Project supported by YESS 2009 Young Engineering Scientist Symposium « Identity Management » Cryptography for the Security of Embedded Systems Ambient.

PROGRAMMING LEARNING: DIFFICULTIES AND SUPPORT TOOLS António José Mendes – University of Coimbra.

1 Presenter: Ming-Shiun Yang Sah, A., Balakrishnan, M., Panda, P.R. Design, Automation & Test in Europe Conference & Exhibition, DATE ‘09. A Generic.

Do we need theoretical computer science in software engineering curriculum: an experience from Uni Novi Sad Bansko, August 28, 2013.

1 CMPE1 Hands-on Computer Engineering Stephen Petersen Richard Hughey.

Computer Science Perspective Ludek Matyska Faculty of Informatics, Masaryk University, Brno and also CESNET, Prague.

MONICA Research Group Juraj Giertl, Martin Révés IPFIX Interoperability.

Symposium 2001June 24, 2001 Curriculum Is Just the Beginning Chris Stephenson University of Waterloo.

Multiple Autonomous Ground/Air Robot Coordination Exploration of AI techniques for implementing incremental learning. Development of a robot controller.

Smart Phone Laboratory ECEN 489 Srinivas Shakkottai.

Software Requirements Engineering CSE 305 Lecture-2.

‘INFORMATICS & MULTIMEDIA’ Department of Applied Informatics & Multimedia School of Applied Technology TEI-Crete.

An-Najah National University Faculty Of Engineering Industrial Engineering Department Implementation Of Quality Function Deployment On Engineering Faculty.

BUSINESS INFORMATICS descriptors presentation Vladimir Radevski, PhD Associated Professor Faculty of Contemporary Sciences and Technologies (CST) Linkoping.

Lecture on Computer Science as a Discipline. 2 Computer “Science” some people argue that computer science is not a science in the same sense that biology.

From Nano Structures to Quantum Information Processing: A Technology Incubator for the 21st Century MIKE LAZARIDIS Chancellor, UW and President and Co-CEO,

1 Advanced topics in OpenCIM 1.CIM: The need and the solution.CIM: The need and the solution. 2.Architecture overview.Architecture overview. 3.How Open.

“DECISION” PROJECT “DECISION” PROJECT INTEGRATION PLATFORM CORBA PROTOTYPE CAST J. BLACHON & NGUYEN G.T. INRIA Rhône-Alpes June 10th, 1999.

Pascucci-1 Valerio Pascucci Director, CEDMAV Professor, SCI Institute & School of Computing Laboratory Fellow, PNNL Massive Data Management, Analysis,

Project funded by the Future and Emerging Technologies arm of the IST Programme FET-Open scheme Project funded by the Future and Emerging Technologies.

1 Structure of Aalborg University Welcome to Aalborg University.

1 3 Computing System Fundamentals 3.4 Networked Computer Systems.

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University IWPSE 2003 Program.

6 February 2009 ©2009 Cesare Pautasso | 1 JOpera and XtremWeb-CH in the Virtual EZ-Grid Cesare Pautasso Faculty of Informatics University.

INFORMATION TECHNOLOGIES LABORATORY «Information technologies» laboratory «Information technologies» laboratory Was established on the 23th of December.

Toulouse, September 2003 Page 1 JOURNEE ALTARICA Airbus ESACS  ISAAC.

Energy-Aware Scheduling for Aperiodic Tasks on Multi-core Processors Dawei Li and Jie Wu Department of Computer and Information Sciences Temple University,

1 WORKSHOP ON RESULTS OF IMPLEMENTATION OF COMPUTER SCIENCE EDUCATION Innovation of Computer Science Curriculum in Higher Education TEMPUS project CD-JEP.

Slide title 70 pt CAPITALS Slide subtitle minimum 30 pt Csaba Antal, Ph.D. Head of Technology Unit Ericsson Hungary R&D Development Unit Network Functions.

HACNet Simulation-based Validation of Security Protocols Vinay Venkataraghavan Advisors: S.Nair, P.-M. Seidel HACNet Lab Computer Science and Engineering.

SSQSA present and future Gordana Rakić, Zoran Budimac Department of Mathematics and Informatics Faculty of Sciences University of Novi Sad

Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy’s National Nuclear.

Department of Computer Science and Automation Indian Institute of Science, Bangalore, India. CSA Research Areas Theoretical Computer Science.

Unit – I Presentation. Unit – 1 (Introduction to Software Project management) Definition:-  Software project management is the art and science of planning.

CISC Machine Learning for Solving Systems Problems Presented by: Eunjung Park Dept of Computer & Information Sciences University of Delaware Solutions.

Toward a common data and command representation for quantum chemistry Malcolm Atkinson Director 5 th April 2004.

Università degli Studi di Verona Department of Computer Science.

1Causal Performance Models Causal Models for Performance Analysis of Computer Systems Jan Lemeire TELE lab May 24 th 2006.

Solving Numerical NP-complete Problems with Spiking Neural P Systems Dipartimento di Informatica, Sistemistica e Comunicazione Università degli Studi di.

Collaborative Tools for the Grid V.N Alexandrov S. Mehmood Hasan.

Università degli Studi di Verona Department of Computer Science.

1 Item 3 - Research and Development of High Security Remote Authentication Technology Item 3 - Research and Development of High Security Remote Authentication.

Introduction to Performance Tuning Chia-heng Tu PAS Lab Summer Workshop 2009 June 30,

CS 1010– Introduction to Computer Science Daniel Tauritz, Ph.D. Associate Professor of Computer Science Director, Natural Computation Laboratory Academic.

Sub-fields of computer science. Sub-fields of computer science.

Specialties Description

Security analysis of COM with Alloy

Definition CASE tools are software systems that are intended to provide automated support for routine activities in the software process such as editing.

CS 1010– Introduction to Computer Science

WELCOME TO DIGITAL & computer SCIENCE

International Collaboration Project on Information Security

CSC Classes Required for TCC CS Degree

MAX IV Laboratory National Synchrotron Light Source – two storage rings (1.5 & 3.0 GeV) and a Short Pulse Facility Characteristics of User Program: 15.

Chapter 9 – Software Evolution and Maintenance

Partnering for Data Science: The Laboratory for Analytic Sciences

CHARIOT-VESSEDIA Workshop 9 May 2019, Dublin, Ireland

Presentation transcript:

Dipartimento di Informatica, Sistemistica e Comunicazione Università degli Studi di Milano – Bicocca Claudio Ferretti - Alberto

DISCo WS - Milan - June 16, Research Areas and Approaches Open Source: Source code available from Operating Systems to Applications Computer Security: on Networks, and in Applications The Lab explores these (then new) technological areas It established links to: students, professors, companies

DISCo WS - Milan - June 16, Activities......with students: Theses (around 20 per year) “LUGs”...with our University : Making open source tools available in shared laboratories Training skilled technicians...with Companies Stages Joint research

DISCo WS - Milan - June 16, Research Activities: PhD students A. Gallini: Computational and Programming Models for Molecular-scale devices based machines S. Orciari: Integration of 3G and wireless LAN architectures: a perspective on authentication S. Felloni: Decoherence, inaccuracy and errors in quantum information processing

DISCo WS - Milan - June 16, Theoretical backgrounds, and technological interests Faculty staff in OpenIt also do research in the BIMIB Lab Research topics are strongly influenced by such scientific backgrounds (theoretical models and their properties) In OpenIt, we link models to applications Also, OpenIt supports technical developments required by researches in BIMIB

DISCo WS - Milan - June 16, Research Activities: papers Some research papers: D. Molteni, C. Ferretti, G. Mauri. Frequency Membrane Systems. Computing and Informatics, A. Leporati, C. Ferretti, G. Mauri, M.J. Pérez-Jiménez, C. Zandron. Complexity aspects of polarizationless membrane systems. Natural Computing, A. Leporati, S. Felloni. Three “Quantum” algorithms to solve 3-SAT. Theoretical Computer Science, 2007.

DISCo WS - Milan - June 16, About funding and grants ERC Starting Grant proposal: “Theoretical Foundations of Computer and Network Security” Topic: the computational model called “membrane systems” can be used to formalize highly structured computer networks, which require the definition of provably secure firewall rules

DISCo WS - Milan - June 16, Results and Demonstrators Bio-inspired computational models became: A Java-based parallel simulator, tested on a small cluster An adaptive and fault-tolerant (simulated) “Bio-Floor”: Someone on the floor (yellow dot) moving up, and tiles light up anticipating his movement Further computational models: An obfuscating processor, based on “register machines”

DISCo WS - Milan - June 16, Activities...

DISCo WS - Milan - June 16, Activities...

DISCo WS - Milan - June 16, More specific: Security “Obfuscating” network traffic: a distributed system mixing false and real traffic to defeat its analisys Assisted generation of firewalls' ACLs: from simple checking to automatic building with the help from traffic samples On these topics: ongoing collaboration with “TELCO” laboratory Obfuscating software: On these topics: ongoing collaboration with “ESSERE” laboratory

DISCo WS - Milan - June 16, More specific: Open Source We are interested in making good use of source code, especially available in the open source technological arena A whole growing area is that of fruitfully mixing static information (source code) and information gathered at runtime (e.g.: syscall tracing) Expected areas of application: extracting Patterns security Checks smart debugging tools In collaboration with “ESSERE”

DISCo WS - Milan - June 16, Theory, also About extracting Patterns: Tracing the execution of a given program, in addition to the static analysis of the source code, helps in recognizing programming patterns in that software product the problem opens interesting theoretical issues, for example concerning the computational complexity of this pattern extraction, when patterns are modeled as graphs Security checks on applications: Adding runtime informations to static analysis helps in reducing false positives, or in defining heuristics

DISCo WS - Milan - June 16, Approach: integration in open source tools Given the availability of (open) source code: whenever possible we develop tools as extensions to existing projects, or as plugins for them…

DISCo WS - Milan - June 16, Approach: integration in open source tools Example: a tool developed as a plugin for the Eclipse IDE platform