BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1039
DTSTAMP:20230914T125948Z
SUMMARY:Solidity+: A Language for Robust Programming of Smart Contracts
DESCRIPTION:Speaker: R.K. Shyamasundar (IIT Bombay\, Mumbai)\n\nAbstract: \
 n"2nd UNESCO World Logic Day Celebration Lecture"\nAbstract: Smart Contra
 cts handle and transfer assets of considerable value. Thus\, it is crucial
  that their implementation be secure against attacks which aim at stealin
 g or tampering the assets. In the recent past\, there have been several a
 ttacks that have exploited existing vulnerabilities in smart contracts. O
 nce a smart contract is up and running\, changing it is very complicated a
 nd nearly infeasible. One of the reasons is that when a contract is create
 d\, it is immutable\; once deployed on the Blockchain it stays there fore
 ver. If we find a defect in a deployed smart contract\, a  new version o
 f the contract has to be created and deployed. When we deploy a new versio
 n of an existing contract\, data stored in the previous contract does not
  get transferred automatically to the  newly refined contract. We have t
 o manually initialize the new contract with the past data which makes it 
 very cumbersome. Similarly\, neither updating a contract nor rolling back 
 an update is possible\; this greatly increases the complexity of implemen
 tation and places a huge responsibility while being deployed initially on
  the Blockchain. We describe the design and use of language Solidity+\, fo
 r programming smart contracts. An important outcome of using of Solidity+
 \, is that brings out an outline of a proof carrying code for the smart c
 ontract for free – needless to emphasize that it is a very welcome feat
 ure for smart contracts on Blockchains.\n
URL:https://www.tcs.tifr.res.in/web/events/1039
DTSTART;TZID=Asia/Kolkata:20200114T143000
DTEND;TZID=Asia/Kolkata:20200114T153000
LOCATION:A-201 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR