2012 |
TERESA Video |
| To View: | On YouTube: video
|
| To View: | On the TERESA website: video |
| Presentation: | An introduction to the project which presents an overview of the main concepts and goals of the project. |
| Author: | Trialog |
|
RISE Workshop on Redefining and Integrating Security Engineering |
| Conference: | RISE'12 |
| Date, Place: | 14-16 December 2012, Washington D.C., USA
|
| Presentation: | Security Engineering Based on Structured Formal Reasoning
|
| Author: | Carsten Rudolph, Andreas Fuchs (Fraunhofer SIT) |
|
15th IEEE International Conference on Computational Science and Engineering |
| Conference: | CSE 2012 |
| Date, Place: | 5-6 December 2012, Nicosia, Cyprus
|
| Presentation: | Supporting Security Engineering at Design Time with Adequate Tooling |
| Author: | Jörn Eichler, Andreas Fuchs, Nico Linke, (Fraunhofer SIT) |
|
ThinkSmart Conference on Secure Communication for Energy Networks
|
| Conference: | ThinkSmart 2012 |
| Date, Place: | 20-21 November 2012, Düsseldorf,Germany |
| Presentation: | Pattern-Based Trusted Engineering for a Smart Meter Gateway
|
| Authors: | Donatus Weber, Obaid Ur-Rehman (University of Siegen), Andre Schaefer (escrypt) |
| Panel: | Discussion in 4 parts: The European Landscape, Security and Assurance Needs, Engineering Approach, Overall Comments
|
Chair:
| Antonio Kung (Trialog)
|
| Summary: | Discussion on security in smart meter gateways: Summary  |
|
5th International Conference on New Technologies, Mobility and Security |
| Conference: | NTMS |
| Date, Place: | 7-10 May 2012, Istanbul, Turkey
|
| Presentation: | Redefining Security Engineering
|
| Author: | Carsten Rudolph, Andreas Fuchs (Fraunhofer SIT) |
|
Zertifizierung und modellgetriebene Entwicklung sicherer Software |
| Conference: | ZeMoSS Workshop |
| Date, Place: | 28 February 2012, Berlin, Germany
|
| Presentation: | Herausforderungen und Lösungsansätze zur Integration von Safety und Security aus der Perspektive Formaler Methoden
|
| Author: | Andreas Fuchs (Fraunhofer SIT) |
|
Security Engineering Forum |
| Conference: | Security Engineering Forum, kickoff meeting organized by FP7 project SecFuture |
| Date, Place: | 2 February 2012, Malaga, Spain |
| Presentation: | TERESA Facts and Vision |
| Author: | Antonio Kung (Trialog) |
|
5th International Conference on Computers, Privacy, and Data Protection
European Data Protection: Coming of Age |
| Conference: | CPDP 2012, in Workshop on Privacy Impact Assessment: Past, Present, and Future |
| Date, Place: | 25-27 January 2012, Brussels, Belgium |
| Presentation: | From PIAs to Engineering Practices , description |
| Author: | Antonio Kung (Trialog) |
|
2011 |
ACM/IEEE 14th International Conference on Model Driven Engineering Languages
|
| Conference: | MODELS 2011
|
| Date, Place: | 16-21 October 2011, Wellington, New Zealand |
| Presentation: | Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches |
| Authors: | Brahim Hamid (IRIT), Sigrid Gürgens (Fraunhofer SIT), Christophe Jouvray (Trialog), Nicolas Desnos (IRIT) |
|
The Sixth International Conference on Software Engineering Advances
|
| Conference: | ICSEA 2011 |
| Date, Place: | 23-29 October 2011, Barcelona, Spain |
| Presentation: | A Metamodel for Representing Safety LifeCycle Development Process |
| Authors: | Yulin Zhang, Brahim Hamid, Damien Gouteux (IRIT) |
|
International Workshop on Security and Dependability for Resource Constrained Embedded Systems |
| Conference: | S&D4RECS 2011, in conjunction with the 30th International Conference on Computer Safety, Reliability and Security Conference (SAFECOMP 2011) |
| Date, Place: | 22 September 2011, Naples, Italy |
| Presentation: | Analysis of the SYM2 Smart Meter Remote Software Download Using Formal Methods Reasoning
|
| Authors: | Andreas Fuchs (Fraunhofer SIT), Donatus Weber (University of Siegen) |
|
3rd International Workshop on Model-driven Approaches in Software Product Line Engineering and 3rd Workshop on Scalable Modeling Techniques for Software Product Lines |
| Conference: | MAPLE/SCALE 2011, in conjunction with the 15th International Software Product Line Conference (SPLC 2011) |
| Date, Place: | 21 August 2011, Munich,Germany |
| Presentation: | Towards Variability Support for Security and Dependability Patterns |
| Authors: | Brahim Hamid, Nicolas Desnos (IRIT, University of Toulouse), Salvador Trujillo, David Gonzalez (Ikerlan- IK4)
|
|
Modelisation Vertrauen, Datenschutz, Sicherheit und Innovation
|
| Conference: | Journées Neptune 2011 |
| Date, Place: | 17-18 May 2011, Paris, France |
| Presentation: | Modélisation à base de patrons de sécurité et de
sûreté pour les systèmes embarqués contraints en ressources –
l’approche TERESA |
| Authors: | Brahim Hamid, Nicolas Desnos (IRIT)
|
Presentation:
|
Illustration et utilisation de l'approche TERESA dans l'industrie |
Author:
| Christophe Jouvray (Trialog) |
|
IT-Sicherheit - Vertrauen, Datenschutz, Sicherheit und Innovation
|
| Conference: | EICT conference
|
| Date, Place: | 10 February 2011, Berlin, Germany
|
| Presentation: | Sicherheit für die Verwaltung eingebetteter Systeme |
| Authors: | Jan Pelzl (escrypt)
|
|
2010 |
IEEE International Conference on Embedded and Ubiquitous Computing |
| Conference: | EUC 2010 |
| Date, Place: | 11-13 December 2010, Hong Kong, China |
| Presentation: | An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES |
| Authors: | Brahim Hamid, Adel Ziani (IRIT)
|
|
S&D4RCES: International Workshop on Security and Dependability for
Resource Constrained Embedded Systems - S&D RCES by Design |
![]() Conference: | S&D4RCES, in conjunction with SAFECOMP 2010 |
| Date, Place: | 14 September 2010, Vienna, Austria
|
Workshop:
| S&D4RCES Agenda and Information Sheet |
| Presentation: | Enforcing Trust in Embedded Systems Using Models |
| Authors: | Christophe Jouvray, Michel Sall, Antonio Kung (Trialog)
|
| Presentation: | Formalization of Smart Metering Requirements |
| Authors: | Andreas Fuchs, Sigrid Güergens (Fraunhofer SIT), Donatus Weber, Christian Bodenstedt, Christoph Ruland (University of Siegen)
|
| Presentation: | Security Engineering for Embedded Systems: The SecFuture Vision |
| Authors: | Sigrid Güergens, Carsten Rudolph (Franunhofer SIT), Antonio Maña (University of Malaga), Simin Nadjm-Tehrani (Linköping University) |
Presentation:
| Model-Based Security and Dependability Patterns in RCES: The TERESA Approach |
| Authors: | Brahim Hamid (IRIT), Cyril Grepet (Trialog) |
| Presentation: | Towards the Integration of Advanced Engineering Paradigms into RCES: Raising the Issues for the Model-Driven Product-Line Case |
| Authors: | David Gonzalez, Antonio Pérez, Salvador Trujillo (Ikerlan IK4)
|
|
8th Nordic Workshop on Model Driven Software Engineering |
| Conference: | NW-MODE 2010 |
| Date, Place: | 23-26 August 2010, Copenhagen, Denmark
|
| Presentation: | Model-Based Engineering for Dynamic Reconfiguration in DRTES |
| Authors: | Brahim Hamid, Fatma Krichen (IRIT)
|
|
3rd International Conference on Telecommunications, Electronics and
Informatics |
| Conference: | ICTEI 2010 |
| Date, Place: | 20-23 May 2010, Chisnau Moldova
|
Presentation:
| Integration of Security and Dependability into Resource Constrained
Embedded Systems |
Authors:
| Christian Bodenstedt, Christoph Ruland, Donatus Weber (University of
Siegen), Antonio Kung (Trialog) |
|