default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProvable Security (ProvSec)
ProvSec 2025: Yokohama, Japan
- Guomin Yang
, Shengli Liu, Chunhua Su, Akira Otsuka, Zhuotao Lian:
Provable and Practical Security - 19th International Conference, ProvSec 2025, Yokohama, Japan, October 10-12, 2025, Proceedings. Lecture Notes in Computer Science 16172, Springer 2026, ISBN 978-981-95-2960-5 [contents]
ProvSec 2024: Gold Coast, QLD, Australia
- Joseph K. Liu, Liqun Chen, Shi-Feng Sun, Xiaoning Liu:
Provable and Practical Security - 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14903, Springer 2025, ISBN 978-981-96-0953-6 [contents] - Joseph K. Liu, Liqun Chen, Shi-Feng Sun, Xiaoning Liu:
Provable and Practical Security - 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14904, Springer 2025, ISBN 978-981-96-0956-7 [contents]
ProvSec 2023: Wuhan, China
- Mingwu Zhang, Man Ho Au, Yudi Zhang:
Provable and Practical Security - 17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14217, Springer 2023, ISBN 978-3-031-45512-4 [contents]
ProvSec 2022: Nanjing, China
- Chunpeng Ge, Fuchun Guo:
Provable and Practical Security - 16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022, Proceedings. Lecture Notes in Computer Science 13600, Springer 2022, ISBN 978-3-031-20916-1 [contents]
ProvSec 2021: Guangzhou, China
- Qiong Huang, Yu Yu:
Provable and Practical Security - 15th International Conference, ProvSec 2021, Guangzhou, China, November 5-8, 2021, Proceedings. Lecture Notes in Computer Science 13059, Springer 2021, ISBN 978-3-030-90401-2 [contents]
ProvSec 2020: Singapore
- Khoa Nguyen, Wenling Wu, Kwok-Yan Lam, Huaxiong Wang:
Provable and Practical Security - 14th International Conference, ProvSec 2020, Singapore, November 29 - December 1, 2020, Proceedings. Lecture Notes in Computer Science 12505, Springer 2020, ISBN 978-3-030-62575-7 [contents]
ProvSec 2019: Cairns, QLD, Australia
- Ron Steinfeld, Tsz Hon Yuen:
Provable Security - 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings. Lecture Notes in Computer Science 11821, Springer 2019, ISBN 978-3-030-31918-2 [contents]
ProvSec 2018: Jeju, South Korea
- Joonsang Baek, Willy Susilo, Jongkil Kim:
Provable Security - 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings. Lecture Notes in Computer Science 11192, Springer 2018, ISBN 978-3-030-01445-2 [contents]
ProvSec 2017: Xi'an, China
- Tatsuaki Okamoto, Yong Yu, Man Ho Au, Yannan Li:
Provable Security - 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings. Lecture Notes in Computer Science 10592, Springer 2017, ISBN 978-3-319-68636-3 [contents]
ProvSec 2016: Nanjing, China
- Liqun Chen, Jinguang Han:
Provable Security - 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings. Lecture Notes in Computer Science 10005, 2016, ISBN 978-3-319-47421-2 [contents]
ProvSec 2015: Kanazawa, Japan
- Man Ho Au, Atsuko Miyaji:
Provable Security - 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings. Lecture Notes in Computer Science 9451, Springer 2015, ISBN 978-3-319-26058-7 [contents]
ProvSec 2014: Hong Kong, China
- Sherman S. M. Chow, Joseph K. Liu, Lucas Chi Kwong Hui, Siu-Ming Yiu:
Provable Security - 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings. Lecture Notes in Computer Science 8782, Springer 2014, ISBN 978-3-319-12474-2 [contents]
ProvSec 2013: Melaka, Malaysia
- Willy Susilo, Reza Reyhanitabar:
Provable Security - 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings. Lecture Notes in Computer Science 8209, Springer 2013, ISBN 978-3-642-41226-4 [contents]
ProvSec 2012: Chengdu, China
- Tsuyoshi Takagi, Guilin Wang, Zhiguang Qin, Shaoquan Jiang, Yong Yu:
Provable Security - 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7496, Springer 2012, ISBN 978-3-642-33271-5 [contents]
ProvSec 2011: Xi'an, China
- Xavier Boyen, Xiaofeng Chen:
Provable Security - 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings. Lecture Notes in Computer Science 6980, Springer 2011, ISBN 978-3-642-24315-8 [contents]
ProvSec 2010: Malacca, Malaysia
- Swee-Huay Heng, Kaoru Kurosawa:
Provable Security - 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings. Lecture Notes in Computer Science 6402, Springer 2010, ISBN 978-3-642-16279-4 [contents]
ProvSec 2009: Guangzhou, China
- Josef Pieprzyk, Fangguo Zhang:
Provable Security, Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings. Lecture Notes in Computer Science 5848, Springer 2009, ISBN 978-3-642-04641-4 [contents]
ProvSec 2008: Shanghai, China
- Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai:
Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. Lecture Notes in Computer Science 5324, Springer 2008, ISBN 978-3-540-88732-4 [contents]
ProvSec 2007: Wollongong, Australia
- Willy Susilo, Joseph K. Liu, Yi Mu:
Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings. Lecture Notes in Computer Science 4784, Springer 2007, ISBN 978-3-540-75669-9 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
