Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
Found 4 from your keywords: author="Tsudik, Gene"
cover
ACM Transactions on Software Engineering and Methodology | Vol.24 No.3 May 2015
Comment Share
Carzaniga, AntonioGorla, AlessandraPerino, NicolòPezzè, MauroTsudik, Gene

Contents: [Article 13] aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models (Tao Yue, Lionel C. Briand, Yvan Labiche) [Article 14] Documenting Design-Pattern Instances: A Family of Experiments on Source-Code Comprehensibility (Giuseppe Scanniello, Carmine Gravino, Michele Risi, Genoveffa Tortora, Gabriella Dodero) [Article 15] Deciding Type-Based Partial-Order C…

Edition
Vol. 24 No. 3 (May 2015)
ISBN/ISSN
1049331X
Collation
ilus.; 25 cm.
Series Title
-
Call Number
JOU SOF '15
cover
ACM Transactions on Information and System Security | Vol.17 No.4
Comment Share
Tamassia, RobertoAhn, Gail-JoonAssociation for Computing MachineryErway, C. ChrisFistrovic, DylanHu, HongxinKüpçü, AlptekinKillian, CharlesLee, HyojeongNita-Rotaru, CristinaPapamanthou, CharalamposSeibert, JeffTsudik, GeneZhao, Ziming

Table of Contents: [Article 13] Gatling: Automatic Performance Attack Discovery in Large-Scale Distributed Systems (Hyojeong Lee, Jeff Seibert, Dylan Fistrovic, Charles Killian, Cristina Nita-Rotaru) [Article 14] Picture Gesture Authentication: Empirical Analysis, Automated Attacks, and Scheme Evaluation (Ziming Zhao, Gail-Joon Ahn, Hongxin Hu) [Article 15] Dynamic Provable Data Possession …

Edition
Vol. 17 No. 4 (Apr 2015)
ISBN/ISSN
10949224
Collation
ilus.; 25 cm.
Series Title
-
Call Number
JOU INF '15
cover
ACM Transactions on Information and System Security | Vol.18 No.1
Comment Share
Androulaki, ElliČapkun, SrdjanAssociation for Computing MachineryCulnane, ChrisDe Carnavalet, Xavier De CarnéDoychev, GoranGervais, ArthurKöpf, BorisKarame, GhassanMannan, MohammadMauborgne, LaurentReineke, JanRoeschlin, MarcRyan, Peter Y. A.Schneider, SteveTeague, VanessaTsudik, Gene

Table of Contents: [Article 1] A Large-Scale Evaluation of High-Impact Password Strength Meters (Xavier De Carné De Carnavalet, Mohammad Mannan) [Article 2] Misbehavior in Bitcoin: A Study of Double-Spending and Accountability (Ghassan O. Karame, Elli Androulaki, Marc Roeschlin, Arthur Gervais, Srdjan Čapkun) [Article 3] vVote: A Verifiable Voting System (Chris Culnane, Peter Y. A. Ryan, S…

Edition
Vol. 18 No. 1 (Jun 2015)
ISBN/ISSN
10949224
Collation
ilus.; 25 cm.
Series Title
-
Call Number
JOU INF '15
cover
ACM Transactions on Software Engineering and Methodology | Vol.24 No.2
Comment Share
Arcuri, AndreaBentahar, JamalCsallner, ChristophCuadrado, Jesus SanchezDe Lara, JuanDssouli, RachidaEl Kholy, WardaEl Menshawy, MohamedEldib, HassanFraser, GordonGuerra, EstherHao, DanLi, KaituoMei, HongQu, HongyangReichenbach, ChristophRosenblum, David S.Rothermel, GreggSchaumont, PatrickSmaragdakis, YannisTsudik, GeneWang, ChaoZhang, LingmingZhang, Lu

Contents: [Article 7] Residual Investigation: Predictive and Precise Bug Detection [Article 8] A Large-Scale Evaluation of Automated unit Test Generation Using EvoSuite [Article 9] Conditional Commitments: Reasoning and Model Checkingrn[Article 10] A Unified Test Case Prioritization Approach [Article 11] Formal verification of Software Countermeasures Against Side-Channel Attacks [Article …

Edition
Vol. 24 No. 2 (Dec 2015)
ISBN/ISSN
1049331X
Collation
175 hlm.; ilus.; 25 cm.
Series Title
-
Call Number
JOU SOF '15