| 2017-05-18 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-18 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-18 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Code |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Filler code |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | CHanges |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | PyORAm |
commit | commitdiff | tree | snapshot |
| 2017-05-17 |
Ali Younis | Stuff |
commit | commitdiff | tree | snapshot |
| 2017-05-16 |
Ali Younis | Added Android App |
commit | commitdiff | tree | snapshot |
| 2017-05-16 |
Ali Younis | changes |
commit | commitdiff | tree | snapshot |
| 2017-05-16 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-16 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-16 |
Ali Younis | Fixes |
commit | commitdiff | tree | snapshot |
| 2017-05-16 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-14 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-14 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-14 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2017-05-14 |
Ali Younis | Embeded Benchmark |
commit | commitdiff | tree | snapshot |
| 2017-05-07 |
Ali Younis | Benchmark readme |
commit | commitdiff | tree | snapshot |
| 2017-05-07 |
Ali Younis | Benchmark added |
commit | commitdiff | tree | snapshot |
| 2017-04-25 |
Ali Younis | Benchmark |
commit | commitdiff | tree | snapshot |
| 2017-04-23 |
Ali Younis | Lightbulb benchmark |
commit | commitdiff | tree | snapshot |
| 2017-02-14 |
Ali Younis | Timing, Attacks |
commit | commitdiff | tree | snapshot |
| 2017-02-08 |
Ali Younis | Fixed bug |
commit | commitdiff | tree | snapshot |
| 2017-02-03 |
Ali Younis | Fixed Rejected Messages, Calculating correct size |
commit | commitdiff | tree | snapshot |
| 2017-01-31 |
Ali Younis | Fixed bugs, local communication HMAC added in |
commit | commitdiff | tree | snapshot |
| 2017-01-25 |
Ali Younis | Edits |
commit | commitdiff | tree | snapshot |
| 2017-01-15 |
Ali Younis | Local communication working |
commit | commitdiff | tree | snapshot |
| 2017-01-12 |
Ali Younis | Local communication support |
commit | commitdiff | tree | snapshot |
| 2017-01-07 |
Ali Younis | Block Chain Transactions, Commits multiple parts version |
commit | commitdiff | tree | snapshot |
| 2017-01-04 |
Ali Younis | Added mutex for thread safety |
commit | commitdiff | tree | snapshot |
| 2017-01-04 |
Ali Younis | Updates |
commit | commitdiff | tree | snapshot |
| 2017-01-03 |
Ali Younis | API Changes |
commit | commitdiff | tree | snapshot |
| 2017-01-01 |
Ali Younis | Offline support added |
commit | commitdiff | tree | snapshot |
| 2016-12-31 |
Ali Younis | Changed way Guard works, Sped up code |
commit | commitdiff | tree | snapshot |
| 2016-12-28 |
Ali Younis | Squashed Last bugs |
commit | commitdiff | tree | snapshot |
| 2016-12-27 |
Ali Younis | Fixing Bugs |
commit | commitdiff | tree | snapshot |
| 2016-12-25 |
Ali Younis | Commits working, Transactions Working, Arbitrations... |
commit | commitdiff | tree | snapshot |
| 2016-12-21 |
Ali Younis | Cleaned up git |
commit | commitdiff | tree | snapshot |
| 2016-12-21 |
Ali Younis | Cleaned up git |
commit | commitdiff | tree | snapshot |
| 2016-12-21 |
Ali Younis | Deleted Redundent Files |
commit | commitdiff | tree | snapshot |
| 2016-12-02 |
Ali Younis | Initial Working version of IoTCloudv2, needs more testing |
commit | commitdiff | tree | snapshot |
| 2016-12-01 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2016-12-01 |
Ali Younis | Fixes to tex doc; Code Updates |
commit | commitdiff | tree | snapshot |
| 2016-11-22 |
Ali Younis | Tex typo issues, Code |
commit | commitdiff | tree | snapshot |
| 2016-11-18 |
Ali Younis | Edits to the new block chain docs |
commit | commitdiff | tree | snapshot |
| 2016-11-18 |
Ali Younis | Initial commit of code for new version of block chain... |
commit | commitdiff | tree | snapshot |
| 2016-11-17 |
Ali Younis | Updates to docs |
commit | commitdiff | tree | snapshot |
| 2016-11-15 |
Ali Younis | Informal Updates |
commit | commitdiff | tree | snapshot |
| 2016-11-08 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2016-11-03 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2016-11-03 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2016-11-01 |
Ali Younis | Revisions |
commit | commitdiff | tree | snapshot |
| 2016-11-01 |
Ali Younis | Revisions |
commit | commitdiff | tree | snapshot |
| 2016-11-01 |
Ali Younis | block chain new doc |
commit | commitdiff | tree | snapshot |
| 2016-10-17 |
Ali Younis | Edits |
commit | commitdiff | tree | snapshot |
| 2016-10-17 |
Ali Younis | Updates |
commit | commitdiff | tree | snapshot |
| 2016-10-16 |
JordanDickson | Added first draft of the System Correctness section |
commit | commitdiff | tree | snapshot |
| 2016-10-15 |
Ali Younis | Added to formal part |
commit | commitdiff | tree | snapshot |
| 2016-10-15 |
Ali Younis | Formal Document edits |
commit | commitdiff | tree | snapshot |
| 2016-10-14 |
Ali Younis | Updates |
commit | commitdiff | tree | snapshot |
| 2016-10-14 |
Ali Younis | Formal Edits |
commit | commitdiff | tree | snapshot |
| 2016-10-13 |
Ali Younis | Formal Edits |
commit | commitdiff | tree | snapshot |
| 2016-10-11 |
Ali Younis | Formal Version |
commit | commitdiff | tree | snapshot |
| 2016-10-10 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2016-10-10 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2016-10-09 |
Ali Younis | Changes |
commit | commitdiff | tree | snapshot |
| 2016-10-04 |
Ali Younis | Added to guarantees |
commit | commitdiff | tree | snapshot |
| 2016-10-03 |
Ali Younis | Added Guarantees section |
commit | commitdiff | tree | snapshot |
| 2016-10-02 |
Ali Younis | Added some ignores for the version 2 docs |
commit | commitdiff | tree | snapshot |
| 2016-10-02 |
Ali Younis | Added to version 2 docs |
commit | commitdiff | tree | snapshot |
| 2016-09-30 |
Ali Younis | Version 2 docs |
commit | commitdiff | tree | snapshot |
| 2016-08-22 |
rtrimana | Adding rollback/mismatch detection when updating last... |
commit | commitdiff | tree | snapshot |
| 2016-08-22 |
rtrimana | Computing expected size; refactoring code into function... |
commit | commitdiff | tree | snapshot |
| 2016-08-22 |
rtrimana | Refactoring HMAC checks, replacing de type checks with... |
commit | commitdiff | tree | snapshot |
| 2016-08-18 |
tkwa | Commented Java code |
commit | commitdiff | tree | snapshot |
| 2016-08-18 |
tkwa | Merge branch 'master' of ssh://plrg.eecs.uci.edu/home... |
commit | commitdiff | tree | snapshot |
| 2016-08-18 |
tkwa | More minor edits to pseudocode |
commit | commitdiff | tree | snapshot |
| 2016-08-16 |
rtrimana | More clean-ups for proof part |
commit | commitdiff | tree | snapshot |
| 2016-08-16 |
rtrimana | Cleaning up proof part |
commit | commitdiff | tree | snapshot |
| 2016-08-16 |
rtrimana | Cleaning up proof part |
commit | commitdiff | tree | snapshot |
| 2016-08-16 |
tkwa | Minor edits |
commit | commitdiff | tree | snapshot |
| 2016-08-12 |
tkwa | Restructured proof; should be complete now |
commit | commitdiff | tree | snapshot |
| 2016-08-09 |
rtrimana | Adding more error messages for slots range |
commit | commitdiff | tree | snapshot |
| 2016-08-08 |
rtrimana | Typo in procedure call for checks on slots |
commit | commitdiff | tree | snapshot |
| 2016-08-08 |
rtrimana | Adding checks to slots range when reading |
commit | commitdiff | tree | snapshot |
| 2016-08-08 |
rtrimana | A few more minor fixes in proof 2.2.2 |
commit | commitdiff | tree | snapshot |
| 2016-08-08 |
rtrimana | Fixing case 2.2.1 that we store the collision winners... |
commit | commitdiff | tree | snapshot |
| 2016-08-08 |
rtrimana | Fixing SM list mechanism as it is checked against cr... |
commit | commitdiff | tree | snapshot |
| 2016-08-05 |
rtrimana | Reconciling pseudocode and formal guarantees - part 1 |
commit | commitdiff | tree | snapshot |
| 2016-08-05 |
rtrimana | Formatting and detailing definitions for formal guarantees |
commit | commitdiff | tree | snapshot |
| next |
projects / iotcloud.git / shortlog