Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default
1 result
Created with Raphaël 2.2.018May16141110922Mar4Aug3229Jul282726251211523Jun2221171610925May201110929Apr2829Feb121110986529Jan28262554Dec32130Nov27- Changed up some Yggdrasil „Test Code“mastermaster- Formatting Changes (in v11)- Meta variables etc.- Fiddled around on version 10- Annotations regarding optimization options- Radically simplified the system — to not much avail regarding query times- Re-sorted declarations (possible under Windows)- Worked out several new versions- Last work on Windows Machine- Added some minor query descriptions- More embellishments for presentation- Automata embellishments for presentation- Added treatment of disclosure delay- Last minute at work: cleaned up set of queries so that now all are relevant, and also so that affirmative results always represent the respective hypothesis / expected behavior- Lots of cleanup- Success on re-introducing the attack: Error was in interval increments in Server Clock- Attempt to solve via multiple broadcast synchronization "channels". Creates out-of-bound error, untraceable under OS X- Last-minute modifications at work- New version 7: lots of simplification, but attack cannot be shown anymore (drift never passes threshold of interval length, except if all at once)- Eliminated dynamically determined broadcast_delay (now fixed to 2, which is equal to the only possible network delay)- More broadcast optimization (still getting it to work with absolute time limit imposed on server_broadcast behavior automaton)- Efficiency changes and queries regarding considerations about "stop_clock" transitions for all automata being unnecessary- Introduced model of client clock as diff from server clock- More sophisticated broadcast- More optimization and command-line utility- Optimization for state space- Additional batch and query files- Slight modifications in Automata- Added query for bradcast precision evaluation- Added broadcast clock adjustment- Broadcast exchange included (so far without clock adjustment)- More work towards broadcast analysis- Added diagnostic finishability query- Small embellishments to the source code format- Unsaved progress intended for previous commit- Further work towards broadcast:- More work towards broadcast analysis (CAUTION: incomplete, current version has syntax errors)- Started server broadcast module- V4 (getting ready for broadcast)QUERIES: