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

Slides:

Advertisements

Similar presentations

Livia Petti Dipartimento di Scienze Umane per la Formazione «R.Massa» Università degli Studi di Milano-Bicocca Teacher perceptions regarding the organization.

Advertisements

Knowledge Pathways in IT

Audio-based Emotion Recognition for Advanced Information Retrieval in Judicial Domain ICT4JUSTICE 2008 – Thessaloniki,October 24 G. Arosio, E. Fersini,

Nokia Technology Institute Natural Partner for Innovation.

Artificial Intelligence and Lisp TDDC65 Course leader: Erik Sandewall Lab assistants: Henrik Lundberg, John Olsson Administrator: Anna Grabska Eklund Webpage:

Enabling Efficient On-the-fly Microarchitecture Simulation Thierry Lafage September 2000.

Hiperspace Lab University of Delaware Antony, Sara, Mike, Ben, Dave, Sreedevi, Emily, and Lori.

DEPARTMENT OF COMPUTER ENGINEERING

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

Presenter : Shih-Tung Huang Tsung-Cheng Lin Kuan-Fu Kuo 2015/6/15 EICE team Model-Level Debugging of Embedded Real-Time Systems Wolfgang Haberl, Markus.

Department of Electrical and Computer Engineering Texas A&M University College Station, TX Abstract 4-Level Elevator Controller Lessons Learned.

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

February 21, 2008 Center for Hybrid and Embedded Software Systems Mapping A Timed Functional Specification to a Precision.

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

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

“Distributed Systems & Networking” Discipline Professor Zahir Tari

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.

Educational Computer Architecture Experimentation Tool Dr. Abdelhafid Bouhraoua.

Mobile Agents for Integrating Cloud-Based Business Processes with On-Premises Systems and Devices Janis Grundspenkis Antons Mislēvičs Department of Systems.

Towards a Distributed, Service-Oriented Control Infrastructure for Smart Grid ASU - Cyber Physical Systems Lab Professor G. Fainekos Presenter: Ramtin.

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

Foundations of Programming Languages – Course Overview Xinyu Feng Acknowledgments: some slides taken or adapted from lecture notes of Stanford CS242

Unit VI. Keil µVision3/4 IDE for 8051 Tool for embedded firmware development Steps for using keil.

OOSE 01/17 Institute of Computer Science and Information Engineering, National Cheng Kung University Member:Q 薛弘志 P 蔡文豪 F 周詩御.

1 Parallel computing and its recent topics. 2 Outline 1. Introduction of parallel processing (1)What is parallel processing (2)Classification of parallel.

ITEW Evaluation of Teacher Learning Experience 2015 Oulu UAS, Kotkantie Campus, Engineering, Natural Resources, Media and Performing Arts Bastian Fähnrich.

Operational Capability: An underlying simplification of a data encoding standard has been developing over the past decade and is being demonstrated in.

A data structure model: basic representation of data, such as integers, logic values, and characters homogeneous data structures, such as arrays and stringsheterogeneous.

1 Deeds: E-Learning Environment for Digital Design Giuliano Donzellini & Domenico Ponta DIBE – Department of Biophysical and Electronic Engineering University.

ANDROID Presented By Mastan Vali.SK. © artesis 2008 | 2 1. Introduction 2. Platform 3. Software development 4. Advantages Main topics.

Comparing pedagogical innovations at the classroom level: teacher roles and role of technology Dimensions 2, 4, 5.

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

Learning outcomes for BUSINESS INFORMATCIS Vladimir Radevski, PhD Associated Professor Faculty of Contemporary Sciences and Technologies (CST)

Proof Carrying Code Zhiwei Lin. Outline Proof-Carrying Code The Design and Implementation of a Certifying Compiler A Proof – Carrying Code Architecture.

The Beauty and Joy of Computing Lecture #3 : Creativity & Abstraction UC Berkeley EECS Lecturer Gerald Friedland.

Contents 1.Introduction, architecture 2.Live demonstration 3.Extensibility.

The Balance Between Theoretical and Practical Work Within Electrical and Computer Engineering Courses Dr. Bahawodin Baha March Development Partnerships.

Department of Informatics, UC Irvine SDCL Collaboration Laboratory Software Design and sdcl.ics.uci.edu 1 Search and the Crowd: Next-Generation Software.

A Short Course on Geant4 Simulation Toolkit How to learn more?

Computer Sciences at NYU Open House January 2004 l Graduate Study at New York University l The MS in Computer Sciences l The MS in Information Systems.

IIA Supervising faculty: David Sarne. “Am I Rational?” Portal Goal: web-site for allowing people test their decision-making/problem- solving.

 Parallel Deposit (bit scatter)  Deposits in the result register, at positions flagged by 1’s in r 3, the right justified bits from r 2 Yedidya Hilewitz.

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

Security Analytics Thrust Anthony D. Joseph (UCB) Rachel Greenstadt (Drexel), Ling Huang (Intel), Dawn Song (UCB), Doug Tygar (UCB)

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

Plug-in Architectures Presented by Truc Nguyen. What’s a plug-in? “a type of program that tightly integrates with a larger application to add a special.

1 CC2039 Professional Development for Communication Technology Developing a Project Proposal.

Tuesday October 25, 2005 Preview SoBeNeT- II project.

Some “take-home” ideas Summer schools, scholarships exist (from various universities, and Redfern Photonics) to give students a taste of a possible career.

WP5: Dynamic Analysis Presented by Pierpaolo Degano Dipartimento di Informatica Università di Pisa at the Final review of DEGAS, 6 April 2005.

Evaluating the Fault Tolerance Capabilities of Embedded Systems via BDM M. Rebaudengo, M. Sonza Reorda Politecnico di Torino Dipartimento di Automatica.

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

Enabling Control over Adaptive Program Transformation for Dynamically Evolving Mobile Software Validation Mike Jochen, Anteneh Anteneh, Lori Pollock University.

Geant4 Training 2003 A Short Course on Geant4 Simulation Toolkit How to learn more? The full set of lecture notes of this Geant4.

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,

Open Source Tools for Embedded Systems Exploring Mars with PolarSys The Dawn of the Rover.

University of Alicante Institute in ICT. What is? A research body attached to the University of Alicante High level research in the fields of – computing.

Interaction and Animation on Geolocalization Based Network Topology by Engin Arslan.

Specialties Description

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

Overview of Year 1 Progress Angelo Cangelosi & ITALK team

Dynamic Simulation and Control Design (IA5617)

Foundations of Programming Languages – Course Overview

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.

A Short Course on Geant4 Simulation Toolkit How to learn more?

A Short Course on Geant4 Simulation Toolkit How to learn more?

Partnering for Data Science: The Laboratory for Analytic Sciences

Presentation transcript:

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

DISCo WS - Milan - June 3, Research Areas and Approaches Open Source: Source code available from Operating Systems to Applications Computer Security: on Networks, and in Applications OpenIt explores these technological areas And it establishes links to: students, colleagues, companies

DISCo WS - Milan - June 3, 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 3, Recent Activities: examples LUGs et sim.: Involved in organizing in Bicocca an event of the “Digital Freedom” festival with WikiMedia Italia Between our University and the Open Source world: Working with Sabayon.org (renown Linux distr.): Hosting some of their developing machines Integrating advanced security controls in their packages building process Companies: Joint activity with Sourcesense, a company operating in Open Source with an innovative business model

DISCo WS - Milan - June 3, 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 (e.g.: simulations)

DISCo WS - Milan - June 3, Research Activities: papers Some research papers: A. Leporati, C. Ferretti. Modeling and Analysis of Firewalls by (Tissue-like) P Systems. Brainstorming week on Membr.Sys.-submitted to journal, M. Gutiérrez-Naranjo, A. Leporati. First Steps Towards a CPU Made of Spiking Neural P Systems. International Journal on Computers, Communication and Control, 2009 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, 2008.

DISCo WS - Milan - June 3, Results and Demonstrators Bio-inspired computational models became, e.g.: A Java-based parallel simulator, tested on a computational 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 3, Activities...

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

DISCo WS - Milan - June 3, 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: Encrypting instructions Transforming structure

DISCo WS - Milan - June 3, More specific: Open Source We are interested in making good use of source code, especially available in the open source technological arena For instance by mixing static information (source code) and information gathered at runtime (e.g.: syscall tracing) Areas of application: extracting Patterns security Checks smart debugging tools In collaboration with “ESSERE” laboratory

DISCo WS - Milan - June 3, Technology, and Theory, also Tecnology: “Take Linux and modify it”: Loading and executing encrypted executables Theory to Technology: “Take crypto and use it”: Using secret shares to play poker on mobiles Theory: Is violating obfuscation techniques we proposed NP-Complete?

DISCo WS - Milan - June 3, 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… -Example: “LXR” cross referencer on web, extended w.r.t. languages (assembly) and data (pointers), as applicable in the Linux kernel - Or:

DISCo WS - Milan - June 3, Approach: integration in open source tools Security static analysis: integrated as a plugin for the Eclipse IDE