projects / iotcloud.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
IV changes
2016-08-22 rtrimanaAdding rollback/mismatch detection when updating last...
commit | commitdiff | tree
2016-08-22 rtrimanaComputing expected size; refactoring code into functions...
commit | commitdiff | tree
2016-08-22 rtrimanaRefactoring HMAC checks, replacing de type checks with...
commit | commitdiff | tree
2016-08-16 rtrimanaMore clean-ups for proof part
 commit | commitdiff | tree
2016-08-16 rtrimanaCleaning up proof part
 commit | commitdiff | tree
2016-08-16 rtrimanaCleaning up proof part
 commit | commitdiff | tree
2016-08-09 rtrimanaAdding more error messages for slots range
 commit | commitdiff | tree
2016-08-08 rtrimanaTypo in procedure call for checks on slots
 commit | commitdiff | tree
2016-08-08 rtrimanaAdding checks to slots range when reading
 commit | commitdiff | tree
2016-08-08 rtrimanaA few more minor fixes in proof 2.2.2
 commit | commitdiff | tree
2016-08-08 rtrimanaFixing case 2.2.1 that we store the collision winners...
commit | commitdiff | tree
2016-08-08 rtrimanaFixing SM list mechanism as it is checked against cr...
commit | commitdiff | tree
2016-08-05 rtrimanaReconciling pseudocode and formal guarantees - part 1
 commit | commitdiff | tree
2016-08-05 rtrimanaFormatting and detailing definitions for formal guarantees
 commit | commitdiff | tree
2016-08-05 rtrimanaMore clean-ups on functions
 commit | commitdiff | tree
2016-08-04 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2016-08-04 rtrimanaRefining and rechecking liveness; fixing things in...
commit | commitdiff | tree
2016-08-04 rtrimanaAdding liveness and more states - half baked, need...
commit | commitdiff | tree
2016-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2016-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2016-08-03 rtrimanaDividing data entry formation into smaller functions...
commit | commitdiff | tree
2016-08-02 rtrimanaAdding loop and status updates when putting data entries...
commit | commitdiff | tree
2016-08-02 rtrimanaConflict in an if-statement - merging
 commit | commitdiff | tree
2016-08-02 rtrimanaSmall changes in client reading slots part - to be...
commit | commitdiff | tree
2016-08-01 rtrimanaAdding/fixing FastCGI required modules names
 commit | commitdiff | tree
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2016-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2016-08-01 rtrimanaMerging changes
 commit | commitdiff | tree
2016-07-19 rtrimanaCompleting client algorithm (first complete version...
commit | commitdiff | tree
2016-07-18 rtrimanaAdding client part that puts slots on server; handling...
commit | commitdiff | tree
2016-07-15 rtrimanaAdding collision resolution entry - preserved by checking...
commit | commitdiff | tree
2016-07-15 rtrimanaFixing typo in MinSlot that's getting s_min for slots...
commit | commitdiff | tree
2016-07-15 rtrimanaClient read slots algorithm - Cleaning up, adding error...
commit | commitdiff | tree
2016-07-14 rtrimanaRevised client algorithm - part that gets slots from...
commit | commitdiff | tree
2016-07-12 rtrimanaReplacing primes with subscripts for MaxSlot and MinSlot
 commit | commitdiff | tree
2016-07-12 rtrimanaAdding empty set as another return value for a true...
commit | commitdiff | tree
2016-07-12 rtrimanaUsing \tuple{} for expressing tuples
 commit | commitdiff | tree
2016-07-12 rtrimanaAdding helper functions for server part; cleaning up
 commit | commitdiff | tree
2016-07-11 rtrimanaCleaning up PutSlot function
 commit | commitdiff | tree
2016-07-11 rtrimanaRenaming Get and Put into GetSlot and PutSlot; Cleaning...
commit | commitdiff | tree
2016-07-11 rtrimanaServer algorithm revised - two basic functions, e.g...
commit | commitdiff | tree
2016-07-07 rtrimanaAdding client algorithm; modifying some parts of server...
commit | commitdiff | tree
2016-07-06 rtrimanaAdding server algorithm
 commit | commitdiff | tree
2016-07-05 rtrimanaCompleting login and key management (part 1.1)
 commit | commitdiff | tree
2016-06-30 rtrimanaGive more explanations on data entries, add a few punctuatio...
commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.