Ali Younis [Wed, 17 May 2017 21:22:33 +0000 (14:22 -0700)]
Changes
Ali Younis [Wed, 17 May 2017 20:45:15 +0000 (13:45 -0700)]
Changes
Ali Younis [Wed, 17 May 2017 20:08:59 +0000 (13:08 -0700)]
Changes
Ali Younis [Wed, 17 May 2017 20:06:22 +0000 (13:06 -0700)]
Changes
Ali Younis [Wed, 17 May 2017 02:43:50 +0000 (19:43 -0700)]
PyORAm
Ali Younis [Wed, 17 May 2017 00:39:26 +0000 (17:39 -0700)]
Stuff
Ali Younis [Tue, 16 May 2017 05:18:35 +0000 (22:18 -0700)]
Added Android App
Ali Younis [Tue, 16 May 2017 05:12:39 +0000 (22:12 -0700)]
changes
Ali Younis [Tue, 16 May 2017 05:04:47 +0000 (22:04 -0700)]
Changes
Ali Younis [Tue, 16 May 2017 03:05:06 +0000 (20:05 -0700)]
Changes
Ali Younis [Tue, 16 May 2017 02:29:23 +0000 (19:29 -0700)]
Fixes
Ali Younis [Tue, 16 May 2017 02:00:08 +0000 (19:00 -0700)]
Changes
Ali Younis [Sun, 14 May 2017 23:50:46 +0000 (16:50 -0700)]
Changes
Ali Younis [Sun, 14 May 2017 23:23:51 +0000 (16:23 -0700)]
Changes
Ali Younis [Sun, 14 May 2017 23:08:30 +0000 (16:08 -0700)]
Changes
Ali Younis [Sun, 14 May 2017 20:21:13 +0000 (13:21 -0700)]
Embeded Benchmark
Ali Younis [Sun, 7 May 2017 21:45:40 +0000 (14:45 -0700)]
Benchmark readme
Ali Younis [Sun, 7 May 2017 21:41:11 +0000 (14:41 -0700)]
Benchmark added
Ali Younis [Tue, 25 Apr 2017 05:50:43 +0000 (22:50 -0700)]
Benchmark
Ali Younis [Sun, 23 Apr 2017 22:41:15 +0000 (15:41 -0700)]
Lightbulb benchmark
Ali Younis [Tue, 14 Feb 2017 06:53:37 +0000 (22:53 -0800)]
Timing, Attacks
Ali Younis [Wed, 8 Feb 2017 00:28:54 +0000 (16:28 -0800)]
Fixed bug
Ali Younis [Fri, 3 Feb 2017 00:36:48 +0000 (16:36 -0800)]
Fixed Rejected Messages, Calculating correct size
Ali Younis [Tue, 31 Jan 2017 06:05:02 +0000 (22:05 -0800)]
Fixed bugs, local communication HMAC added in
Ali Younis [Wed, 25 Jan 2017 00:46:23 +0000 (16:46 -0800)]
Edits
Ali Younis [Sun, 15 Jan 2017 21:04:22 +0000 (13:04 -0800)]
Local communication working
Ali Younis [Thu, 12 Jan 2017 08:13:10 +0000 (00:13 -0800)]
Local communication support
Ali Younis [Sat, 7 Jan 2017 23:23:39 +0000 (15:23 -0800)]
Block Chain Transactions, Commits multiple parts version
Ali Younis [Wed, 4 Jan 2017 21:39:36 +0000 (13:39 -0800)]
Added mutex for thread safety
Ali Younis [Wed, 4 Jan 2017 03:14:16 +0000 (19:14 -0800)]
Updates
Ali Younis [Tue, 3 Jan 2017 22:41:14 +0000 (14:41 -0800)]
API Changes
Ali Younis [Sun, 1 Jan 2017 22:12:10 +0000 (14:12 -0800)]
Offline support added
Ali Younis [Sat, 31 Dec 2016 09:32:22 +0000 (01:32 -0800)]
Changed way Guard works, Sped up code
Ali Younis [Wed, 28 Dec 2016 04:30:42 +0000 (20:30 -0800)]
Squashed Last bugs
Ali Younis [Tue, 27 Dec 2016 09:18:45 +0000 (01:18 -0800)]
Fixing Bugs
Ali Younis [Sun, 25 Dec 2016 09:33:22 +0000 (01:33 -0800)]
Commits working, Transactions Working, Arbitrations working, Still needs a lot of testing
Ali Younis [Wed, 21 Dec 2016 23:48:41 +0000 (15:48 -0800)]
Cleaned up git
Ali Younis [Wed, 21 Dec 2016 23:47:02 +0000 (15:47 -0800)]
Cleaned up git
Ali Younis [Wed, 21 Dec 2016 23:38:07 +0000 (15:38 -0800)]
Deleted Redundent Files
Ali Younis [Fri, 2 Dec 2016 01:37:07 +0000 (17:37 -0800)]
Initial Working version of IoTCloudv2, needs more testing
Ali Younis [Thu, 1 Dec 2016 23:17:45 +0000 (15:17 -0800)]
Changes
Ali Younis [Thu, 1 Dec 2016 07:08:32 +0000 (23:08 -0800)]
Fixes to tex doc; Code Updates
Ali Younis [Tue, 22 Nov 2016 23:52:01 +0000 (15:52 -0800)]
Tex typo issues, Code
Ali Younis [Fri, 18 Nov 2016 00:27:39 +0000 (16:27 -0800)]
Edits to the new block chain docs
Ali Younis [Fri, 18 Nov 2016 00:26:49 +0000 (16:26 -0800)]
Initial commit of code for new version of block chain, does not compile (had to go to class mid java class creation)
Ali Younis [Thu, 17 Nov 2016 19:22:27 +0000 (11:22 -0800)]
Updates to docs
Ali Younis [Tue, 15 Nov 2016 01:48:48 +0000 (17:48 -0800)]
Informal Updates
Ali Younis [Tue, 8 Nov 2016 02:57:22 +0000 (18:57 -0800)]
Changes
Ali Younis [Thu, 3 Nov 2016 22:10:59 +0000 (15:10 -0700)]
Changes
Ali Younis [Thu, 3 Nov 2016 19:46:44 +0000 (12:46 -0700)]
Changes
Ali Younis [Tue, 1 Nov 2016 22:27:53 +0000 (15:27 -0700)]
Revisions
Ali Younis [Tue, 1 Nov 2016 07:12:49 +0000 (00:12 -0700)]
Revisions
Ali Younis [Tue, 1 Nov 2016 04:18:16 +0000 (21:18 -0700)]
block chain new doc
Ali Younis [Mon, 17 Oct 2016 20:14:46 +0000 (13:14 -0700)]
Edits
Ali Younis [Mon, 17 Oct 2016 03:52:11 +0000 (20:52 -0700)]
Updates
JordanDickson [Sun, 16 Oct 2016 20:56:57 +0000 (13:56 -0700)]
Added first draft of the System Correctness section
Ali Younis [Sat, 15 Oct 2016 22:41:38 +0000 (15:41 -0700)]
Added to formal part
Ali Younis [Sat, 15 Oct 2016 21:18:38 +0000 (14:18 -0700)]
Formal Document edits
Ali Younis [Fri, 14 Oct 2016 21:40:31 +0000 (14:40 -0700)]
Updates
Ali Younis [Fri, 14 Oct 2016 02:54:24 +0000 (19:54 -0700)]
Formal Edits
Ali Younis [Thu, 13 Oct 2016 22:44:11 +0000 (15:44 -0700)]
Formal Edits
Ali Younis [Tue, 11 Oct 2016 22:38:34 +0000 (15:38 -0700)]
Formal Version
Ali Younis [Mon, 10 Oct 2016 05:56:55 +0000 (22:56 -0700)]
Changes
Ali Younis [Mon, 10 Oct 2016 01:27:04 +0000 (18:27 -0700)]
Changes
Ali Younis [Sun, 9 Oct 2016 08:38:12 +0000 (01:38 -0700)]
Changes
Ali Younis [Tue, 4 Oct 2016 19:39:05 +0000 (12:39 -0700)]
Added to guarantees
Ali Younis [Mon, 3 Oct 2016 19:12:46 +0000 (12:12 -0700)]
Added Guarantees section
Ali Younis [Sun, 2 Oct 2016 23:35:57 +0000 (16:35 -0700)]
Added some ignores for the version 2 docs
Ali Younis [Sun, 2 Oct 2016 23:34:01 +0000 (16:34 -0700)]
Added to version 2 docs
Ali Younis [Fri, 30 Sep 2016 03:10:44 +0000 (20:10 -0700)]
Version 2 docs
rtrimana [Mon, 22 Aug 2016 23:12:14 +0000 (16:12 -0700)]
Adding rollback/mismatch detection when updating last sequence number
rtrimana [Mon, 22 Aug 2016 21:33:13 +0000 (14:33 -0700)]
Computing expected size; refactoring code into functions and procedures
rtrimana [Mon, 22 Aug 2016 19:13:22 +0000 (12:13 -0700)]
Refactoring HMAC checks, replacing de type checks with IsKV, IsCR, IsSS, and IsQS
tkwa [Thu, 18 Aug 2016 22:21:29 +0000 (15:21 -0700)]
Commented Java code
tkwa [Thu, 18 Aug 2016 00:12:39 +0000 (17:12 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
tkwa [Thu, 18 Aug 2016 00:12:33 +0000 (17:12 -0700)]
More minor edits to pseudocode
rtrimana [Tue, 16 Aug 2016 23:18:36 +0000 (16:18 -0700)]
More clean-ups for proof part
rtrimana [Tue, 16 Aug 2016 22:38:56 +0000 (15:38 -0700)]
Cleaning up proof part
rtrimana [Tue, 16 Aug 2016 22:37:32 +0000 (15:37 -0700)]
Cleaning up proof part
tkwa [Tue, 16 Aug 2016 22:34:08 +0000 (15:34 -0700)]
Minor edits
tkwa [Fri, 12 Aug 2016 23:59:34 +0000 (16:59 -0700)]
Restructured proof; should be complete now
rtrimana [Tue, 9 Aug 2016 16:43:42 +0000 (09:43 -0700)]
Adding more error messages for slots range
rtrimana [Mon, 8 Aug 2016 23:04:54 +0000 (16:04 -0700)]
Typo in procedure call for checks on slots
rtrimana [Mon, 8 Aug 2016 23:02:28 +0000 (16:02 -0700)]
Adding checks to slots range when reading
rtrimana [Mon, 8 Aug 2016 17:35:48 +0000 (10:35 -0700)]
A few more minor fixes in proof 2.2.2
rtrimana [Mon, 8 Aug 2016 16:47:23 +0000 (09:47 -0700)]
Fixing case 2.2.1 that we store the collision winners, not all the rejected messages
rtrimana [Mon, 8 Aug 2016 16:19:30 +0000 (09:19 -0700)]
Fixing SM list mechanism as it is checked against cr entries
rtrimana [Fri, 5 Aug 2016 23:40:25 +0000 (16:40 -0700)]
Reconciling pseudocode and formal guarantees - part 1
rtrimana [Fri, 5 Aug 2016 16:46:14 +0000 (09:46 -0700)]
Formatting and detailing definitions for formal guarantees
joelbandi [Fri, 5 Aug 2016 00:13:53 +0000 (17:13 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
joelbandi [Fri, 5 Aug 2016 00:13:39 +0000 (17:13 -0700)]
added Rejected message
rtrimana [Fri, 5 Aug 2016 00:01:58 +0000 (17:01 -0700)]
More clean-ups on functions
rtrimana [Thu, 4 Aug 2016 22:02:38 +0000 (15:02 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
rtrimana [Thu, 4 Aug 2016 22:02:28 +0000 (15:02 -0700)]
Refining and rechecking liveness; fixing things in PutDataEntries and ProcessSL functions
tkwa [Thu, 4 Aug 2016 01:37:38 +0000 (18:37 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
Conflicts:
doc/iotcloud.tex
tkwa [Thu, 4 Aug 2016 01:35:14 +0000 (18:35 -0700)]
Further changes to Lemma 1; still not done
rtrimana [Thu, 4 Aug 2016 00:26:21 +0000 (17:26 -0700)]
Adding liveness and more states - half baked, need to recheck the states, especially for ss and cr entries
tkwa [Wed, 3 Aug 2016 18:03:38 +0000 (11:03 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
rtrimana [Wed, 3 Aug 2016 15:34:08 +0000 (08:34 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
joelbandi [Wed, 3 Aug 2016 00:07:38 +0000 (17:07 -0700)]
Keyvalue.js
projects / iotcloud.git / log