lyee methodology
play

Lyee Methodology Mohamed Mejri & Bchir Ktari Computer Science - PowerPoint PPT Presentation

Jan 06, 2024 •102 likes •374 views

Lyee Methodology Mohamed Mejri & Bchir Ktari Computer Science Department Laval University Quebec Canada Agenda Introduction Expertise Projects Interest Collaboration Conclusion Introduction Expertise

  1. Lyee Methodology Mohamed Mejri & Béchir Ktari Computer Science Department Laval University Quebec Canada

  2. Agenda � Introduction � Expertise � Projects � Interest � Collaboration � Conclusion

  3. Introduction

  4. Expertise � Languages, Semantics and Formal Methods � Static and dynamic analysis of code � Advanced compilation techniques: � Certified Compilation � Typing � etc. � Computer Security � Specification and analysis of cryptographic protocols and e-commerce protocols � Malicious code detection

  5. Projects Network Level Correct cryptographic protocols Correct e-commerce protocols Intrusion Detection Application Level Static analysis Dynamic analysis / Monitoring Self-certified code

  6. Projects: Dymna � Dymna (cryptographic and e-commerce protocols analysis) � Theory: logic, typing system, model-checking, abstract interpretation, rewriting, etc. � Practice: A tool delivered to CSE (Canadian Security Establishment) � Distinctions: Many articles in international conferences and Journal � Collaboration: Standfort University (John Mitchel)

  7. Dymna Inputs

  8. Dymna Outputs

  9. Projects: MaliCOTS � MaliCOTS (Detection of Malicious Code) � Theory: logic, semantics, model-checking, certified compilation, static and dynamic analysis, etc. � Practice: Three tools delivered to CRDV � Distinctions: � Thee Canadian prices:TechnoFed’2000, OCTAS’2001 et CIPA’2001 � Many technical reports and articles � Collaboration: Research Center CRDV.

  10. MaliCOTS: Security Policy � Never do send after read(f). � Automata send() read(f) read(f) start has_read send() bad – Logic ( µ -calculus) Always( [ read(f) ] never( do( send ) ) ) ν X.[read(f)]( ¬µ Y.<send>tt ∨ <all>Y) ∧ [all]X

  11. MaliCOTS: SPCheck

  12. MaliCOTS: SPCheck

  13. Interest � Software Engineering: � Formal methods used to: � Specify, � Implement, and � Verify a software. � Programming Languages: � Syntax, semantics � Different paradigms: procedural, functional, parallel, object oriented, etc. � Compilation Techniques: � Proof Carrying Code, etc. � Computer Security

  14. Collaboration

  15. Collaboration � A deep Studying of the Lyee Methodology: � Compare Lyee with other methodologies � Identify more beneficial features of Lyee methodology � Identifying some sub-projects in order to � Formalize, simplify, or/and ameliorate (if necessarily) some aspects of the methodology to make it more user-friendly � Develop some new modules for LyeeAll to address other important aspects that are not handled yet

  16. Collaboration � Evaluate the methodology at different aspects � Suitable for modularity: develop complex system from small and simple ones � Suitable for hierarchical description: allows both low level and high level description � Suitable for formal validation and verification � A proof that the program complies with security policies � Easiness to learn and use: requirement skills of the users � Suitable for which kind of application � Suitable for maintenance: Y2K problem � Etc.

  17. Collaboration Requirements (words, LyeeBelt definitions conditions) Lyee Program LyeeAll Legacy Structures Program (Any Language) (Any Language)

  18. Collaboration Project I Requirements (words, Parallel LyeeBelt definitions LyeeParallel Program conditions) Lyee Program LyeeAll Legacy Structures Program (Any Language) (Any Language)

  19. Collaboration P= P 1 || Lyee …|| LyeeParallel Structures P n PVM (Parallel Virual Machine) PVM P PVM P 3 2 P PVM 4 PVM P Network 1 PVM PVM P P n 4

  20. Collaboration Requirements (words, LyeeBelt definitions conditions) Lyee Program LyeeAll Legacy Structures Program (Any Language) (Any Language) Project 2 Optimized LyeeOptimizer Program

  21. Collaboration Begin E= D+ 2* C D= C+ A+ B Program C= A+ B Iterate B= 2* A A= 1 LyeeOptimizer Begin A= 1 B= 2* A C= A+ B Iterate Optimized D= C+ A+ B Program E= D+ 2* C

  22. Collaboration Requirements (words, LyeeBelt definitions conditions) Lyee Program LyeeAll Legacy Structures Program (Any Language) (Any Language) Business LyeeVerifier Policies Reports Project 3

  23. Collaboration Requirements (words, LyeeBelt definitions conditions) Lyee Program LyeeAll Legacy Structures Program (Any Language) (Any Language) LyeeAnalyser (Equivalence, Profiling, etc.) Reports Project 4

  24. Collaboration State of the art Studying Evaluate Compare I dentifying sub-projects LyeeParallel LyeeOptimizer LyeeVerifier LyeeAnalyzer Etc.

  25. Collaboration � Contributions � Theoretical aspects: Articles, Conferences, etc. � Practical aspects: Tools, prototypes, etc. � Documentation: Technical reports , etc. � Scientific exchanges : Meeting, seminaries, presentations, etc. � High qualified students � A working group on Lyee Methodology

  26. Conclusion � Lyee Methodology � Our feeling � Toward a promising methodology: Good ideas behind the methodology � A lot of works are need to be done to show the power of this methodology � Collaboration � We are motivated to participate on this methodology � We believe that we can bring a significant contribution on this methodology

Recommend

L y e e Lyee stands for the governmenta L methodolog y for softwar e providenc e . The Institute

L y e e Lyee stands for the governmenta L methodolog y for softwar e providenc e . The Institute

Lyee s Idea and Achievement Inventor of Lyee: Fumio Negoro Document writer: Hideo Yagihashi L y e e Lyee stands for the governmenta L methodolog y for softwar e providenc e . The Institute of Computer Based Software Methodology and

843 views • 53 slides
Lyee Structure The Institute of Computer Based Software Methodology and Technology Top Tense

Lyee Structure The Institute of Computer Based Software Methodology and Technology Top Tense

Lyee Structure The Institute of Computer Based Software Methodology and Technology Top Tense Control Function ( ) Pre Processing Initial Processing (Lyee domains) Is the next p specified? Activated p Next p Current p

604 views • 18 slides
Programs analysis Programs analysis by SamCOTS by SamCOTS ( S tatic A nalyser of M alicious COTS

Programs analysis Programs analysis by SamCOTS by SamCOTS ( S tatic A nalyser of M alicious COTS

Programs analysis Programs analysis by SamCOTS by SamCOTS ( S tatic A nalyser of M alicious COTS ) PLAN Lyee program Lyee program Realplayer program Realplayer program Analysing the code Analysing the code of Lyee

544 views • 11 slides
Listing Methodology Listing Methodology Aquatic Life q Prepared for the 303(d) Listing

Listing Methodology Listing Methodology Aquatic Life q Prepared for the 303(d) Listing

Listing Methodology Listing Methodology Aquatic Life q Prepared for the 303(d) Listing Methodology Meeting P d f h 303(d) Li i M h d l M i Wednesday, September 3, 2014 EDU contacts: Kristy Richardson, Scott Garncarz, and Sarah Wheeler

445 views • 27 slides
Scaling Methodology Scaling Methodology Dan Smith Director HW Engineering dsmith@nvidia.com

Scaling Methodology Scaling Methodology Dan Smith Director HW Engineering dsmith@nvidia.com

EDP- -2002 2002 EDP Scaling Methodology Scaling Methodology Dan Smith Director HW Engineering dsmith@nvidia.com Introduction NVIDIA NVIDIAs growth Methodology Group NVIDIAs methodology beginnings How the methodology has changed

135 views • 13 slides
Available Flowgate Capability and the AFC Methodology the AFC Methodology Presented By Nate

Available Flowgate Capability and the AFC Methodology the AFC Methodology Presented By Nate

Available Flowgate Capability and the AFC Methodology the AFC Methodology Presented By Nate Schweighart d h h Reliability Engineering TVA TVA E.ON Stakeholder Meeting 2009 Wh t i What is a flowgate? fl t ? Flowgate A single

391 views • 23 slides
Hardware Design with VHDL Register Transfer Methodology II ECE 443 Register Transfer Methodology:

Hardware Design with VHDL Register Transfer Methodology II ECE 443 Register Transfer Methodology:

Hardware Design with VHDL Register Transfer Methodology II ECE 443 Register Transfer Methodology: Practice In this lecture, we will look at several examples of RT methodology applied to a vari- ety of applications Examples include control of a

587 views • 54 slides
Methodology Methodology 3 age groups 2 7 years 8-12 years 13-17 years

Methodology Methodology 3 age groups 2 7 years 8-12 years 13-17 years

Methodology Methodology 3 age groups 2 7 years 8-12 years 13-17 years Nielsen data: Top 10 networks for any one of the three age groups Methodology Methodology Total of 13 networks ABC, CBS, Fox, NBC, UPN,

419 views • 19 slides
Next Generation ACO Model Review of Alignment / Benchmarking Methodology February 28, 2017 For

Next Generation ACO Model Review of Alignment / Benchmarking Methodology February 28, 2017 For

Next Generation ACO Model Review of Alignment / Benchmarking Methodology February 28, 2017 For Discussion Purposes Only: Actual methodology is specified in methodology paper Agenda Alignment Overview of cross-sectional approach

836 views • 44 slides
BUDGET METHODOLOGY 1 CLICK TO EDIT MASTER TITLE STYLE BUDGET METHODOLOGY Member Consumption

BUDGET METHODOLOGY 1 CLICK TO EDIT MASTER TITLE STYLE BUDGET METHODOLOGY Member Consumption

BUDGET METHODOLOGY 1 CLICK TO EDIT MASTER TITLE STYLE BUDGET METHODOLOGY Member Consumption (Billion Gallons) Traditional Method - Budget for full FY Minimum Actual Difference variable rate to be covered directly by 08 91.8 77.5

671 views • 51 slides
PR19 Methodology webinar: Aligning Risk and Return and Financeability 19 July 2017 Trust in

PR19 Methodology webinar: Aligning Risk and Return and Financeability 19 July 2017 Trust in

PR19 Methodology webinar: Aligning Risk and Return and Financeability 19 July 2017 Trust in water 1 Approach Aim To explain draft methodology to assist your response To take clarification questions not for views on methodology (this is

882 views • 24 slides
CEC BASED APPROACH, CEC BASED APPROACH, METHODOLOGY AND PROCESS METHODOLOGY AND PROCESS (CECBA)

CEC BASED APPROACH, CEC BASED APPROACH, METHODOLOGY AND PROCESS METHODOLOGY AND PROCESS (CECBA)

CEC BASED APPROACH, CEC BASED APPROACH, METHODOLOGY AND PROCESS METHODOLOGY AND PROCESS (CECBA) (CECBA) Pacific Ecosystem based Adaptation to Climate Change (PEBACC) Solomon Islands component inception workshop. 3 rd March 2016 SOLOMON

497 views • 46 slides
A Traffic Study to Interleaved Dark Space Markus De Shon (mdeshon) Agenda Methodology Results

A Traffic Study to Interleaved Dark Space Markus De Shon (mdeshon) Agenda Methodology Results

A Traffic Study to Interleaved Dark Space Markus De Shon (mdeshon) Agenda Methodology Results Discussion on Data Sharing Methodology Methodology Flow collection at Google Sampled sFlow and Netflow v{5,9} collected at network devices

463 views • 18 slides
Comparison of Frontier Definitions - FAR Methodology and BPHC/CMS Criteria - February 13, 2015

Comparison of Frontier Definitions - FAR Methodology and BPHC/CMS Criteria - February 13, 2015

Comparison of Frontier Definitions - FAR Methodology and BPHC/CMS Criteria - February 13, 2015 Three Alternative Frontier Definitions FAR Methodology: The FAR methodology is a based upon distance/travel time between rural areas and

335 views • 9 slides
Methodology Presentation October 13, 2016 Traditional Methodology 1. Pan &amp; Tilt Camera

Methodology Presentation October 13, 2016 Traditional Methodology 1. Pan &amp; Tilt Camera

San Francisco Sewer Inspection Methodology Presentation October 13, 2016 Traditional Methodology 1. Pan &amp; Tilt Camera 2. Panoramo 360 Camera (Est. Starting 2010) 3. Walking Inspection (For Larger Structures) Pan &amp; Tilt Camera

463 views • 34 slides
Hardware Design with VHDL Register Transfer Methodology I ECE 443 Register Transfer Methodology:

Hardware Design with VHDL Register Transfer Methodology I ECE 443 Register Transfer Methodology:

Hardware Design with VHDL Register Transfer Methodology I ECE 443 Register Transfer Methodology: Principle We typically use algorithms to accomplish complex tasks Although it is common to execute algorithms on a GPU, a hardware implementation is

1.38k views • 76 slides
Methodology for Lecture Methodology for Lecture Computer Graphics (Spring 2008) Computer

Methodology for Lecture Methodology for Lecture Computer Graphics (Spring 2008) Computer

Methodology for Lecture Methodology for Lecture Computer Graphics (Spring 2008) Computer Graphics (Spring 2008) Lecture deals with lighting (teapot shaded as in HW1) Some Nate Robbins tutor demos in lecture COMS 4160, Lecture 14: OpenGL

535 views • 5 slides
Mr. Zoltn Gyula Szab, SAO of Hungary Methodology of the SAO's Integrity Survey Methodology

Mr. Zoltn Gyula Szab, SAO of Hungary Methodology of the SAO's Integrity Survey Methodology

Mr. Zoltn Gyula Szab, SAO of Hungary Methodology of the SAO's Integrity Survey Methodology of the SAOs Integrity Survey Presentation by Zoltn Gyula Szab Assistant Auditor What and how do we examine? Focus on the public sector

438 views • 7 slides
Methodology for Comparison and Ranking of SAT Solvers Mladen Nikoli c Third Workshop on

Methodology for Comparison and Ranking of SAT Solvers Mladen Nikoli c Third Workshop on

Introduction Preliminaries Methodology Evaluation Related work Conclusions Methodology for Comparison and Ranking of SAT Solvers Mladen Nikoli c Third Workshop on Formal and Automated Theorem Prooving and Applications January 29, 2010.

974 views • 27 slides
Review of the Port Tariff Methodology some few comments on elements within the existing

Review of the Port Tariff Methodology some few comments on elements within the existing

Review of the Port Tariff Methodology some few comments on elements within the existing Methodology Discussion forum at Waterfront Hotel, Durban 31 October 2016 Trevor Jones Director Unit of Maritime Law &amp; Maritime Studies

69 views • 5 slides
CMG + Highlights Overview of the new acute care inpatient grouping methodology Presentation to

CMG + Highlights Overview of the new acute care inpatient grouping methodology Presentation to

CMG + Highlights Overview of the new acute care inpatient grouping methodology Presentation to CCHSE Leadership Conference June 12, 2007 - Toronto Sandra Mitchell Manager, Grouper Redevelopment Project Purpose of Grouping Methodology

648 views • 19 slides
Draft Port Tariff Methodology Ports Regulator of South Africa Roadshow 05 February 2020 Strictly

Draft Port Tariff Methodology Ports Regulator of South Africa Roadshow 05 February 2020 Strictly

Draft Port Tariff Methodology Ports Regulator of South Africa Roadshow 05 February 2020 Strictly private and confidential 0 Tariff Methodology Tariff Methodology (TM) assists application of the Regulatory framework to determine the

392 views • 12 slides
n = 8 (z / ) + 1 = b 0 + b 1 x F = (MS T + MS SIT ) (MS TS + MS IT )

n = 8 (z / ) + 1 = b 0 + b 1 x F = (MS T + MS SIT ) (MS TS + MS IT )

n = 8 (z / ) + 1 = b 0 + b 1 x F = (MS T + MS SIT ) (MS TS + MS IT ) 2011-2012 Research Methodology Series Statistics and Research Methodology Unit Nebraska Center for Research on Children, Youth, Families and Schools

234 views • 8 slides
Content: 1. Principal task in EGS development 2. A methodology: HEX-S code 3. Example: Coso

Content: 1. Principal task in EGS development 2. A methodology: HEX-S code 3. Example: Coso

A Methodology for the Hydro-mechanical Characterisation of EGS reservoirs Session: Reservoir characterisation during stimulation Content: 1. Principal task in EGS development 2. A methodology: HEX-S code 3. Example: Coso geothermal field,

742 views • 25 slides

More recommend