| 2018-04-24 |
rtrimana | Adding code to connect just WiFi and not Particle cloud...
|
commit | commitdiff | tree |
| 2018-04-23 |
rtrimana | Warming-up sensor, turn on WiFi/Particle, read from...
|
commit | commitdiff | tree |
| 2018-04-20 |
rtrimana | Calculating and storing password, salt, and key into...
|
commit | commitdiff | tree |
| 2018-04-17 |
rtrimana | Fixing and completing the generic firmware for sensor...
|
commit | commitdiff | tree |
| 2018-04-16 |
rtrimana | Adding setup picture that matches the program code...
|
commit | commitdiff | tree |
| 2018-04-16 |
rtrimana | Powering up sensor using an I/O pin to turn it off...
|
commit | commitdiff | tree |
| 2018-04-14 |
rtrimana | Making variable names and types more precise, e.g....
|
commit | commitdiff | tree |
| 2018-04-13 |
rtrimana | Adding DHT22/AM2302 sensor libraries (Arduino and PietteTech...
|
commit | commitdiff | tree |
| 2018-04-12 |
rtrimana | Adding .ino files for IoTCloud library tests (periodic...
|
commit | commitdiff | tree |
| 2018-04-11 |
rtrimana | Adding Serial printouts and completing testcase for...
|
commit | commitdiff | tree |
| 2018-04-11 |
rtrimana | Modifying Makefile for Particle CLI
|
commit | commitdiff | tree |
| 2016-08-22 |
rtrimana | Adding rollback/mismatch detection when updating last...
|
commit | commitdiff | tree |
| 2016-08-22 |
rtrimana | Computing expected size; refactoring code into functions...
|
commit | commitdiff | tree |
| 2016-08-22 |
rtrimana | Refactoring HMAC checks, replacing de type checks with...
|
commit | commitdiff | tree |
| 2016-08-16 |
rtrimana | More clean-ups for proof part
|
commit | commitdiff | tree |
| 2016-08-16 |
rtrimana | Cleaning up proof part
|
commit | commitdiff | tree |
| 2016-08-16 |
rtrimana | Cleaning up proof part
|
commit | commitdiff | tree |
| 2016-08-09 |
rtrimana | Adding more error messages for slots range
|
commit | commitdiff | tree |
| 2016-08-08 |
rtrimana | Typo in procedure call for checks on slots
|
commit | commitdiff | tree |
| 2016-08-08 |
rtrimana | Adding checks to slots range when reading
|
commit | commitdiff | tree |
| 2016-08-08 |
rtrimana | A few more minor fixes in proof 2.2.2
|
commit | commitdiff | tree |
| 2016-08-08 |
rtrimana | Fixing case 2.2.1 that we store the collision winners...
|
commit | commitdiff | tree |
| 2016-08-08 |
rtrimana | Fixing SM list mechanism as it is checked against cr...
|
commit | commitdiff | tree |
| 2016-08-05 |
rtrimana | Reconciling pseudocode and formal guarantees - part 1
|
commit | commitdiff | tree |
| 2016-08-05 |
rtrimana | Formatting and detailing definitions for formal guarantees
|
commit | commitdiff | tree |
| 2016-08-05 |
rtrimana | More clean-ups on functions
|
commit | commitdiff | tree |
| 2016-08-04 |
rtrimana | Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
|
commit | commitdiff | tree |
| 2016-08-04 |
rtrimana | Refining and rechecking liveness; fixing things in...
|
commit | commitdiff | tree |
| 2016-08-04 |
rtrimana | Adding liveness and more states - half baked, need...
|
commit | commitdiff | tree |
| 2016-08-03 |
rtrimana | Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
|
commit | commitdiff | tree |
| 2016-08-03 |
rtrimana | Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
|
commit | commitdiff | tree |
| 2016-08-03 |
rtrimana | Dividing data entry formation into smaller functions...
|
commit | commitdiff | tree |
| 2016-08-02 |
rtrimana | Adding loop and status updates when putting data entries...
|
commit | commitdiff | tree |
| 2016-08-02 |
rtrimana | Conflict in an if-statement - merging
|
commit | commitdiff | tree |
| 2016-08-02 |
rtrimana | Small changes in client reading slots part - to be...
|
commit | commitdiff | tree |
| 2016-08-01 |
rtrimana | Adding/fixing FastCGI required modules names
|
commit | commitdiff | tree |
| 2016-08-01 |
rtrimana | Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
|
commit | commitdiff | tree |
| 2016-08-01 |
rtrimana | Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
|
commit | commitdiff | tree |
| 2016-08-01 |
rtrimana | Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
|
commit | commitdiff | tree |
| 2016-08-01 |
rtrimana | Merging changes
|
commit | commitdiff | tree |
| 2016-07-19 |
rtrimana | Completing client algorithm (first complete version...
|
commit | commitdiff | tree |
| 2016-07-18 |
rtrimana | Adding client part that puts slots on server; handling...
|
commit | commitdiff | tree |
| 2016-07-15 |
rtrimana | Adding collision resolution entry - preserved by checking...
|
commit | commitdiff | tree |
| 2016-07-15 |
rtrimana | Fixing typo in MinSlot that's getting s_min for slots...
|
commit | commitdiff | tree |
| 2016-07-15 |
rtrimana | Client read slots algorithm - Cleaning up, adding error...
|
commit | commitdiff | tree |
| 2016-07-14 |
rtrimana | Revised client algorithm - part that gets slots from...
|
commit | commitdiff | tree |
| 2016-07-12 |
rtrimana | Replacing primes with subscripts for MaxSlot and MinSlot
|
commit | commitdiff | tree |
| 2016-07-12 |
rtrimana | Adding empty set as another return value for a true...
|
commit | commitdiff | tree |
| 2016-07-12 |
rtrimana | Using \tuple{} for expressing tuples
|
commit | commitdiff | tree |
| 2016-07-12 |
rtrimana | Adding helper functions for server part; cleaning up
|
commit | commitdiff | tree |
| 2016-07-11 |
rtrimana | Cleaning up PutSlot function
|
commit | commitdiff | tree |
| 2016-07-11 |
rtrimana | Renaming Get and Put into GetSlot and PutSlot; Cleaning...
|
commit | commitdiff | tree |
| 2016-07-11 |
rtrimana | Server algorithm revised - two basic functions, e.g...
|
commit | commitdiff | tree |
| 2016-07-07 |
rtrimana | Adding client algorithm; modifying some parts of server...
|
commit | commitdiff | tree |
| 2016-07-06 |
rtrimana | Adding server algorithm
|
commit | commitdiff | tree |
| 2016-07-05 |
rtrimana | Completing login and key management (part 1.1)
|
commit | commitdiff | tree |
| 2016-06-30 |
rtrimana | Give more explanations on data entries, add a few punctuatio...
|
commit | commitdiff | tree |
|
projects / iotcloud.git / search