Adding Fidelius manual.
[iotcloud.git] / doc /
2016-12-21 Ali YounisCleaned up git
2016-08-22 rtrimanaAdding rollback/mismatch detection when updating last...
2016-08-22 rtrimanaComputing expected size; refactoring code into function...
2016-08-22 rtrimanaRefactoring HMAC checks, replacing de type checks with...
2016-08-18 tkwaCommented Java code
2016-08-18 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-18 tkwaMore minor edits to pseudocode
2016-08-16 rtrimanaMore clean-ups for proof part
2016-08-16 rtrimanaCleaning up proof part
2016-08-16 rtrimanaCleaning up proof part
2016-08-16 tkwaMinor edits
2016-08-12 tkwaRestructured proof; should be complete now
2016-08-09 rtrimanaAdding more error messages for slots range
2016-08-08 rtrimanaTypo in procedure call for checks on slots
2016-08-08 rtrimanaAdding checks to slots range when reading
2016-08-08 rtrimanaA few more minor fixes in proof 2.2.2
2016-08-08 rtrimanaFixing case 2.2.1 that we store the collision winners...
2016-08-08 rtrimanaFixing SM list mechanism as it is checked against cr...
2016-08-05 rtrimanaReconciling pseudocode and formal guarantees - part 1
2016-08-05 rtrimanaFormatting and detailing definitions for formal guarantees
2016-08-05 joelbandiMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-05 rtrimanaMore clean-ups on functions
2016-08-04 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-04 rtrimanaRefining and rechecking liveness; fixing things in...
2016-08-04 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-04 tkwaFurther changes to Lemma 1; still not done
2016-08-04 rtrimanaAdding liveness and more states - half baked, need...
2016-08-03 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-03 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-03 rtrimanaDividing data entry formation into smaller functions...
2016-08-02 tkwaMinor changes to proof
2016-08-02 joelbandiMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-02 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-02 tkwaImprovements to diagram for Lemma 1 of the proof; added...
2016-08-02 rtrimanaAdding loop and status updates when putting data entrie...
2016-08-02 rtrimanaConflict in an if-statement - merging
2016-08-02 rtrimanaSmall changes in client reading slots part - to be...
2016-08-02 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-02 tkwaMore fixes to Lemma 1 of the proof and misc. subroutines
2016-08-01 tkwaAdded simple diagram for lemma in proof
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-01 tkwaMinor fixes to pseudocode and proof
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-08-01 rtrimanaMerging changes
2016-07-26 joelbandiMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-07-25 bdemskynotes
2016-07-23 Brian DemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-07-23 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2016-07-23 tkwaAdded security guarantee
2016-07-19 bdemskysome initial comments...haven't read most of the code
2016-07-19 rtrimanaCompleting client algorithm (first complete version...
2016-07-18 rtrimanaAdding client part that puts slots on server; handling...
2016-07-15 rtrimanaAdding collision resolution entry - preserved by checki...
2016-07-15 rtrimanaFixing typo in MinSlot that's getting s_min for slots...
2016-07-15 rtrimanaClient read slots algorithm - Cleaning up, adding error...
2016-07-14 rtrimanaRevised client algorithm - part that gets slots from...
2016-07-12 rtrimanaReplacing primes with subscripts for MaxSlot and MinSlot
2016-07-12 rtrimanaAdding empty set as another return value for a true...
2016-07-12 rtrimanaUsing \tuple{} for expressing tuples
2016-07-12 rtrimanaAdding helper functions for server part; cleaning up
2016-07-11 rtrimanaCleaning up PutSlot function
2016-07-11 bdemskyedits
2016-07-11 rtrimanaRenaming Get and Put into GetSlot and PutSlot; Cleaning...
2016-07-11 bdemskyclean up some definitions plus get function
2016-07-11 rtrimanaServer algorithm revised - two basic functions, e.g...
2016-07-07 rtrimanaAdding client algorithm; modifying some parts of server...
2016-07-06 rtrimanaAdding server algorithm
2016-07-05 bdemskymore comments
2016-07-05 bdemskyadd notes
2016-07-05 rtrimanaCompleting login and key management (part 1.1)
2016-06-30 rtrimanaGive more explanations on data entries, add a few punct...
2016-06-29 bdemskyForce proof on failed write
2016-06-29 bdemskytypo
2016-06-29 bdemskyAdd document