Samin Ishtiaq comments

Results 15 comments of


                                            Samin Ishtiaq

Verified crypto and Everest integration

duplicate of #94

Restore the code for DHDBManager

@s-zanella: is this urgent for Milestone 1? @vkanne-msft

Write a Powershell script that automates the first step on Windows

It should also check that VS is installed, or install it if it's not. Maybe chocolatey can be used for the install? (When you set up VMs on Azure, it...

Write a Powershell script that automates the first step on Windows

A declarative way of handling yr #1 and #2 above.

Full verification of Extensions module

That's what's written in the OneNote! Close if it's invalid.

Verified Record Layer

@vkanne-msft Is this a duplicate of #98?

Idealization coverage

Yes, that's what I meant.

Key schedule

@markulf : do you want to change the title of this (to KeySchedule.fst), or is it ok as is?

Revive FlexTLS

Depends on #39 being done.

Some utility functions need to be refactored into TCP.fst either in Record/Test clients

@ad-l: do you know which utility functions? @vkanne-msft