projects / iotcloud.git / search
| 2016-08-02 | tkwa | Minor changes to proof |
commit | commitdiff | tree |
| 2016-08-02 | tkwa | Merge branch 'master' of ssh://plrg.eecs.uci.edu/home... |
commit | commitdiff | tree |
| 2016-08-02 | tkwa | Improvements to diagram for Lemma 1 of the proof; added... |
commit | commitdiff | tree |
| 2016-08-02 | tkwa | Merge branch 'master' of ssh://plrg.eecs.uci.edu/home... |
commit | commitdiff | tree |
| 2016-08-02 | tkwa | More fixes to Lemma 1 of the proof and misc. subroutines |
commit | commitdiff | tree |
| 2016-08-01 | tkwa | Added simple diagram for lemma in proof |
commit | commitdiff | tree |
| 2016-08-01 | tkwa | Minor fixes to pseudocode and proof |
commit | commitdiff | tree |
| 2016-07-23 | tkwa | Merge branch 'master' of ssh://plrg.eecs.uci.edu/home... |
commit | commitdiff | tree |
| 2016-07-23 | tkwa | Added security guarantee |
commit | commitdiff | tree |