Commits · c5f0aba5276373a0211360469f184788875660b7 · mbe-tools / TTool

Nov 05, 2024
- Reworked how security pragmas are handled by the drawing of avatar specs · d9cf02ed
  Ludovic Apvrille authored 4 months ago
  
  d9cf02ed
Jul 08, 2024
- Update timeout for running proverif in tests · 1a99e00d
  jawher-j authored 8 months ago
  
  1a99e00d
Jul 03, 2024
- Add timeout for Proverif processes in tests + rename cli PatternHandling class · 18bbe6ba
  jerray authored 8 months ago
  
  18bbe6ba
Jul 02, 2024
- Reslving bug on sim code gen for diplo · 377d863a
  Ludovic Apvrille authored 8 months ago
  
  377d863a
Jul 01, 2024
- Update TMLattribute spec comparator · 15530ae3
  jerray authored 8 months ago
  
  15530ae3
- Update Diplodocus security tests · a6142bd2
  jerray authored 8 months ago
  
  a6142bd2
- rename equalSpec method + Put TMLComparingMethod funcs static + Move... · 7b1b1000
  jerray authored 8 months ago
  
  rename equalSpec method + Put TMLComparingMethod funcs static + Move compareTMLFiles and compareTMAPFiles to FileUtils and Use process in security tests
  7b1b1000
Jun 28, 2024
- remove useless import · d500b905
  jawher-j authored 9 months ago
  
  d500b905
- update spec TML comparator · 85cc0fc8
  jawher-j authored 9 months ago
  
  85cc0fc8
- update Spec TMAP comparator + update auto sec tests · 4e15c27b
  jerray authored 9 months ago
  
  4e15c27b
Jun 27, 2024
- update tml2avatar · 5e81103d
  jerray authored 9 months ago
  
  5e81103d
Jun 26, 2024
- update security generation for diplodocus · 0d485ed4
  jerray authored 9 months ago
  
  0d485ed4
- Update on Sec pat handling with overhead · cf16e23f
  Ludovic Apvrille authored 9 months ago
  
  cf16e23f
Jun 25, 2024
- Update on generation of the number of samples in R/W when dealing with sec. pat. in diplodocus · 6523848f
  Ludovic Apvrille authored 9 months ago
  
  6523848f
Jun 19, 2024
- update direct communication between HSMs · 799b905e
  jawher-j authored 9 months ago
  
  799b905e
Jun 18, 2024
- Update case of direct communication between HSMs · 827d1aab
  jerray authored 9 months ago
  
  827d1aab
Jun 17, 2024
- Add case of direct communication between HSMs · 13767b55
  jerray authored 9 months ago
  
  13767b55
Jun 05, 2024
- Update on new avatarspec format for datatype handling · ebd9f605
  Ludovic Apvrille authored 9 months ago
  
  ebd9f605
- Generate security for Conf and Weak Auth properties · 705c3896
  jawher-j authored 9 months ago
  
  705c3896
Jun 04, 2024
- Enhance security generation for strong auth · 657e739d
  jerray authored 9 months ago
  
  657e739d
- Enhance security generation in Diplodocus · a3381d02
  jawher-j authored 9 months ago
  
  a3381d02
May 31, 2024
- Adding support for mapping fork channels · 86a9d775
  Ludovic Apvrille authored 9 months ago
  
  86a9d775
May 22, 2024
- fix a bug when translating a notified event · 135f8b5c
  jawher-j authored 10 months ago
  
  135f8b5c
- fix bug in TML2Avatar · 6684c4fd
  jerray authored 10 months ago
  
  6684c4fd
Apr 29, 2024
- Update handling requests in TML2Avatar · 8997a62f
  jawher-j authored 10 months ago
  
  8997a62f
Apr 05, 2024
- Add security tests for Avatar and Diplodocus · 3c1f7069
  jerray authored 11 months ago
  
  3c1f7069
Mar 29, 2024
- Revert "Merge branch 'avatar_security_tests' into 'master'" · 6c24a1a8
  Ludovic Apvrille authored 1 year ago
  
  This reverts merge request !485
  6c24a1a8
Mar 26, 2024
- Update and fix Diplodocus Security Tests · 4f239396
  jerray authored 1 year ago
  
  4f239396
Mar 15, 2024
- minor update in TML2Avatar · 7b7b5da7
  jerray authored 1 year ago
  
  7b7b5da7
- update TML2Avatar · 298c9dd1
  jerray authored 1 year ago
  
  298c9dd1
- Minor update in handling confidentiality in AD · d807d5aa
  jerray authored 1 year ago and Alan Birchler De Allende committed 1 year ago
  
  d807d5aa
- Backtrace Confidentiality in AD · ea6ec582
  jerray authored 1 year ago and Alan Birchler De Allende committed 1 year ago
  
  ea6ec582
- Slight update · d35b16db
  Ludovic Apvrille authored 1 year ago and Alan Birchler De Allende committed 1 year ago
  
  d35b16db
- Move sec process identification from ElementWithAction to ExecC · 8d24d26e
  jerray authored 1 year ago and Alan Birchler De Allende committed 1 year ago
  
  8d24d26e
- new presentation for SecurityPattern · ed76f2da
  jerray authored 1 year ago and Alan Birchler De Allende committed 1 year ago
  
  ed76f2da
Mar 14, 2024
- Minor update in handling confidentiality in AD · 65b1e6a1
  jerray authored 1 year ago
  
  65b1e6a1
Feb 27, 2024
- Minor update in handling confidentiality in AD · 3e06c905
  jerray authored 1 year ago
  
  3e06c905
- Backtrace Confidentiality in AD · a7531dfc
  jerray authored 1 year ago
  
  a7531dfc
Feb 14, 2024
- last merge from master · 7d6f62d5
  jerray authored 1 year ago
  
  7d6f62d5
- continue merge from master · d41e3a21
  jerray authored 1 year ago
  
  d41e3a21