A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Filters
SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis
2016
2016 IEEE Symposium on Security and Privacy (SP)
In this paper, we present a binary analysis framework that implements a number of analysis techniques that have been proposed in the past. ...
The evaluation included in this paper is performed using a recent dataset created by DARPA for evaluating the effectiveness of binary vulnerability analysis techniques. ...
This work is sponsored by DARPA under agreement number N66001-13-2-4039 and by the ONR under agreement number N00014-15-1-2948. The U.S. ...
doi:10.1109/sp.2016.17
dblp:conf/sp/Shoshitaishvili16
fatcat:dw3axxn4mbczjmhpwhwd5jnfe4
SoK: Science, Security and the Elusive Goal of Security as a Scientific Pursuit
2017
2017 IEEE Symposium on Security and Privacy (SP)
We selectively review work in the history and philosophy of science and more recent work under the label "Science of Security". ...
However, we find that there is little clarity on what "scientific" means in the context of computer security research, or consensus on what a "Science of Security" should look like. ...
The second author is Canada Research Chair in Authentication and Computer Security, and acknowledges NSERC for funding the chair and a Discovery Grant. ...
doi:10.1109/sp.2017.38
dblp:conf/sp/HerleyO17
fatcat:tb34aq22vvh6ddpazd3g3azgzu
Software Protection Decision Support and Evaluation Methodologies (Dagstuhl Seminar 19331)
2019
Dagstuhl Reports
The seminar is situated in the domain of software protection against so-called man-at-the-end attacks, in which attackers have white-box access to the software that embeds valuable assets with security ...
evaluations; 3) how to build decision support to aid users of protection tool with the selection of appropriate protections. ...
: (State of) The Art of War: Offensive Techniques in Binary Analysis", in Proc. of the IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016, pp. 138-157, IEEE Computer Society ...
doi:10.4230/dagrep.9.8.1
dblp:journals/dagstuhl-reports/SutterCPW19
fatcat:guwem6swfjf3hm4qaqcfkc6phi
Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)
[article]
2021
arXiv
pre-print
We further show this exploitation of integer interpolation in the common case also enables competitive termination verification of bitvector programs and leads to the first effective technique for LTL ...
We present a new tool DarkSea, the first tool capable of verifying reachability, termination, and LTL of lifted binaries. ...
The initial state of the registers is also loaded from the runtime, as seen by the instructions in callout 1 in Fig. 4 . ...
arXiv:2105.05159v2
fatcat:nm55kcsplvekxmona4tc6ckoaq
Closing the Distance: Identity and Self-Representation in the Japanese Literature of Three Korean Writers in Japan: Kim Sok Pom, Lee Hoe Sung and Kim Ha Gyong
2021
I argue that a close reading of The Death of the Crow (1957) and The Extraordinary Ghost Story of Mandogi (1971) by Kim Sok Pom, The Cloth Fuller (1971) and For Kayako (1970) by Lee Hoe Sung , and Frozen ...
The theme of cultural identity is topical in the academy and society at large but it is especially significant for the Korean diaspora in Japan. ...
on the analysis of texts at the expense of an auxiliary analysis of lived reality" (204). ...
doi:10.26181/60ebaddc594e2
fatcat:jcnnf2sef5dlpbflk7qwv53wne
National Identity Formation and Musical Modernism in Post-World War II Korea
unpublished
Acknowledgements This statement held true in Korea after the colonial period: as will be shown throughout this dissertation, a collective national identity remained one of the central concerns across ...
This technique progressed rapidly in Japan after the War but we Koreans were ignorant of it. ...
Finally, although the current analysis has argued for the significance of a pitch center in determining the form, it is also worthwhile to re-state the general importance of musical gestures or texture ...
fatcat:otm47oygsfeqnpow6tfet6gxxm
Book Review: Heritage Tourism in Southeast AsiaHitchcockMichael, KingVictor T. and ParnwellMichael, eds, Heritage Tourism in Southeast Asia, NIAS Press, Copenhagen, 2010, xiv + 322 pp
2011
South East Asia Research
The authors very gratefully acknowledge the European Commission's Asia Urbs programme and the People's Committee of Hai Duong, the London Borough of Hackney and Limerick Corporation for their contribution ...
to the programme. ...
At the opening speech in Phnom, Sok An (Sok, 2001) , then as the Minister in charge of the Council of Ministers and the Chairman of the National Tourism Authority of Cambodia, expressed the government's ...
doi:10.5367/sear.2011.0080
fatcat:dvvgteg37ze27djsbqpj52y4k4
Heritage Tourism in Southeast Asia
2012
Tourism Management
The authors very gratefully acknowledge the European Commission's Asia Urbs programme and the People's Committee of Hai Duong, the London Borough of Hackney and Limerick Corporation for their contribution ...
to the programme. ...
At the opening speech in Phnom, Sok An (Sok, 2001) , then as the Minister in charge of the Council of Ministers and the Chairman of the National Tourism Authority of Cambodia, expressed the government's ...
doi:10.1016/j.tourman.2011.02.018
fatcat:ujh4pa7lozcwpnk3qgwjwuy57i
Heritage tourism in Southeast Asia
2011
ChoiceReviews
The authors very gratefully acknowledge the European Commission's Asia Urbs programme and the People's Committee of Hai Duong, the London Borough of Hackney and Limerick Corporation for their contribution ...
to the programme. ...
At the opening speech in Phnom, Sok An (Sok, 2001) , then as the Minister in charge of the Council of Ministers and the Chairman of the National Tourism Authority of Cambodia, expressed the government's ...
doi:10.5860/choice.49-2138
fatcat:bygnmvbzyvddnaymfuwgsw76my
Heritage tourism in southeast Asia
2012
Journal of Heritage Tourism
The authors very gratefully acknowledge the European Commission's Asia Urbs programme and the People's Committee of Hai Duong, the London Borough of Hackney and Limerick Corporation for their contribution ...
to the programme. ...
At the opening speech in Phnom, Sok An (Sok, 2001) , then as the Minister in charge of the Council of Ministers and the Chairman of the National Tourism Authority of Cambodia, expressed the government's ...
doi:10.1080/1743873x.2011.601887
fatcat:l5jnts2h3vbljneqvi6in5qjly
Guest Editorial: Justice for and Prevention of Genocide
2018
Genocide Studies and Prevention: An International Journal
Acknowledgements This research was funded in part by the College of Arts & Sciences at Kent State University. We are grateful for the support of Dean Jim Blank. ...
Acknowledgements
Acknowledgements The authors gratefully acknowledge the role of the International Association of Genocide Scholars in forming a panel at the Thirteenth Meeting of the IAGS in Brisbane ...
There has been a significant increase in the involvement of outside states in civil wars. In 1990, only 4% of civil wars were "internationalized" through the direct involvement of other states. ...
doi:10.5038/1911-9933.12.3.1650
fatcat:cjw6g26nsfezxezvbdof24vwiu
Art and Documentation no.22
2020
Sztuka i Dokumentacja
Suggestions of topics and texts should be sent to the e-mail address of the editor. We also kindly ask to read the notes on style that can be found on our journal's website. ...
All content is publish under the Creative Commons licenses. Articles are peer-reviewed. The list of peers and the peer-review process are available on our website. ...
Other artists from the small groups of the 1980s that presented performance art were Keun-Byung YOOK in TARA, Yong-Sok HA in Nanjido, and Bul LEE in Museum and so on. ...
doi:10.32020/artanddoc/22/2020/30
doaj:0cfeac1eebdb4b41a8b31d8510bcfcf1
fatcat:26s6xzya4bae7aacjwvc5uprcm
Reading Machines for the Blind
1961
IRE Transactions on Human Factors in Electronics
A bank of 12 of 13 lights shows the states of the Schmitt trigger circuits responsive to the light or dark states of the 12 recognition-array cells. ...
The work there was on behalf of St. Dunstan's, a British organization for those blinded on war service. ...
The third line, comprised of typed. lettepil will be read: Iv.. p,. staff member . at Briarcliff Manor who,will, receive the ,,letter 'images on the face of a to reach a volunteer who will then read the ...
doi:10.1109/thfe2.1961.4503293
fatcat:safy4ihgsfhrxpsblwxwkfkb7m
Justice Deflected: The Uses and Abuses of Local Transitional Justice Processes
2017
the people, but by providing a novel explanation of how these processes can be manipulated to subvert their own stated goal of advancing the cause of justice, and by providing a detailed account of these ...
In recent years, there has been a noticeable turn towards the "local" in both the practice and academic study of transitional justice, exemplified by a belief that local transitional justice processes ...
In Sierra Leone, "the art of forgetting" was seen as a key factor for facilitating local reconciliation (Shaw 2007) . ...
doi:10.20381/ruor-21318
fatcat:y5o3vbya3zdutfe2d2mt6fmmzy
Balinese Hybridities: Balinese Music as Global Phenomena
2013
unpublished
My presence there was as an arts ambassador in order to promote Balinese arts with Gamelan Sekar Jaya as well as other arts groups in the United States. ...
States, Japanese composers and ethnomusicologists have been borrowing techniques and aesthetics of Indonesian musics since the 1970s. ...
It is in the process of moving forward. ...
fatcat:zddyj5oeandelo36monc6x5wiu
« Previous
Showing results 1 — 15 out of 34 results