MARC

 008250123s2024        us                              c    eng  d
■001000017162396
■00520250211152007
■006m          o    d                
■007cr#unu||||||||
■020    ▼a9798384048107
■035    ▼a(MiAaPQ)AAI31330754
■040    ▼aMiAaPQ▼cMiAaPQ
■0820  ▼a004
■1001  ▼aYao,  Siqiu.▼0(orcid)0000-0003-1825-0561
■24510▼aCompositional  Security  for  Smart  Contracts
■260    ▼a[Sl]▼bCornell  University▼c2024
■260  1▼aAnn  Arbor▼bProQuest  Dissertations  &  Theses▼c2024
■300    ▼a163  p
■500    ▼aSource:  Dissertations  Abstracts  International,  Volume:  86-03,  Section:  A.
■500    ▼aAdvisor:  Myers,  Andrew.
■5021  ▼aThesis  (Ph.D.)--Cornell  University,  2024.
■520    ▼aSecuring  smart  contracts  remains  a  fundamental  challenge.  At  its  core,  it  is  a  question  of  building  software  that  is  secure  in  composition  with  untrusted  code,  which  extends  far  beyond  the  blockchain  setting.  We  introduce  SCIF,  a  language  for  building  smart  contracts  that  are  compositionally  secure.  SCIF  is  based  on  the  fundamentally  compositional  principle  of  secure  information  flow,  but  extends  this  core  mechanism  to  be  the  first  language  to  include  protection  against  reentrancy  attacks,  confused  deputy  attacks,  and  improper  error  handling,  even  in  the  presence  of  malicious  contracts  that  do  not  follow  the  rules  of  SCIF.  SCIF  proposes  a  novel  and  principled  way  to  understand  and  prevent  reentrancy  attacks  and  confused  deputy  attacks.  Additionally,  SCIF  supports  a  rich  ecosystem  of  interacting  principals  with  partial  trust  through  its  mechanisms  for  dynamic  trust  management.  SCIF  has  been  implemented  as  a  compiler  to  Solidity.  We  describe  the  SCIF  language,  including  its  static  checking  rules  and  its  runtime  system.  Finally,  we  implement  several  applications  requiring  intricate  security  reasoning,  showing  how  SCIF  supports  building  complex  smart  contracts  securely  and  provides  the  programmer  with  accurate  diagnostics  about  potential  security  bugs.
■590    ▼aSchool  code:  0058.
■650  4▼aComputer  science
■650  4▼aComputer  engineering
■650  4▼aInformation  science
■653    ▼aDecentralized  systems
■653    ▼aInformation  flow  control
■653    ▼aIntegrity
■653    ▼aProgramming  languages
■653    ▼aSecurity
■690    ▼a0984
■690    ▼a0464
■690    ▼a0723
■71020▼aCornell  University▼bComputer  Science.
■7730  ▼tDissertations  Abstracts  International▼g86-03A.
■790    ▼a0058
■791    ▼aPh.D.
■792    ▼a2024
■793    ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T17162396▼nKERIS▼z이  자료의  원문은  한국교육학술정보원에서  제공합니다.

Preview

Export

ChatGPT Discussion

AI Recommended Related Books