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

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

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
Magnetoresistance in parallel fields J.S. Meyer, University of Minnesota A kk W(z) E x z B

Magnetoresistance in parallel fields J.S. Meyer, University of Minnesota A kk W(z) E x z B

Magnetoresistance in parallel fields J.S. Meyer, University of Minnesota A kk W(z) E x z B JSM, A. Altland, and B.L. Altshuler, PRL 89 , 206601 (2002); JSM, V.I. Falko, and B.L. Altshuler, cond-mat/0206024. ISSP August 18, 2003

185 views • 17 slides
stt Pr t t

stt Pr t t

stt Pr t t rt qs rst s rst s r

572 views • 26 slides
While waiting for our session to begin: 1. Remember to scan in with your ID 2. Review your DARS

While waiting for our session to begin: 1. Remember to scan in with your ID 2. Review your DARS

While waiting for our session to begin: 1. Remember to scan in with your ID 2. Review your DARS (PDF version) and program flowchart 3. Write down questions you have about this semester and next 4. Make sure you have the Advising Updates Handout

622 views • 31 slides
Financial Institution D&amp;O Litigation: Parallel Proceedings Representing D&amp;Os Faced with

Financial Institution D&amp;O Litigation: Parallel Proceedings Representing D&amp;Os Faced with

Presenting a live 90 minute webinar with interactive Q&amp;A Financial Institution D&amp;O Litigation: Parallel Proceedings Representing D&amp;Os Faced with Multiple Agency Proceedings, Private Civil Litigation, and Criminal Actions WEDNES

666 views • 32 slides
Gathering Wisdom, Now What? A Tripartite Presentation BC Tripartite First Nation Health

Gathering Wisdom, Now What? A Tripartite Presentation BC Tripartite First Nation Health

Gathering Wisdom, Now What? A Tripartite Presentation BC Tripartite First Nation Health Governance Framework Agreement UBC Learning Circle September 29, 2011 Presented by: Grand Chief Doug Kelly, Ian Potter, and Arlene Paton Gathering Wisdom

263 views • 22 slides
WGLF summary to CCEM 28 March 2019 Jonathan Williams WGLF Chairman Completed Key Comparisons

WGLF summary to CCEM 28 March 2019 Jonathan Williams WGLF Chairman Completed Key Comparisons

CCEM/19-07 WGLF summary to CCEM 28 March 2019 Jonathan Williams WGLF Chairman Completed Key Comparisons K4 capacitance, 10 pF and 100 pF, 1 kHz and 1.592 kHz Adopted a star approach BIPM, METAS, NIM, NIST, NMIA, NPL, PTB and

375 views • 15 slides
Dont Shoot the Messenger! Don t Shoot the Messenger! Effective Compliance and Investigation

Dont Shoot the Messenger! Don t Shoot the Messenger! Effective Compliance and Investigation

Dont Shoot the Messenger! Don t Shoot the Messenger! Effective Compliance and Investigation Strategies in View of Enhanced Whistleblower Incentives and Protections May 18, 2011 Kristofer K. Swanson, CPA, CAMS, CFE, CFF Scott A. Memmott,

502 views • 39 slides
Deep multi-task learning with evolving weights ESANN 2016 Soufiane Belharbi Romain Hrault

Deep multi-task learning with evolving weights ESANN 2016 Soufiane Belharbi Romain Hrault

Deep multi-task learning with evolving weights ESANN 2016 Soufiane Belharbi Romain Hrault Clment Chatelain Sbastien Adam soufiane.belharbi@insa-rouen.fr LITIS lab., DocApp team - INSA de Rouen, France images/logos 27 April, 2016

750 views • 37 slides

More recommend