5 ms·
Some IC3 people at Cornell have been looking at this in the context of smart contracts: http://www.initc3.org/files/Gyges.pdf http://www.initc3.org/files/Gyges.
by swordswinger12 9y ago
Some IC3 people at Cornell have been looking at this in the context of smart contracts: http://www.initc3.org/files/Gyges.pdf http://www.initc3.org/files/Gyges.pdf